Summary of changes:
See also:
gitk 1.12.1...release/1.13.0
git log 1.12.1...release/1.13.0
Issues resolved: