4.13.1 - minor bugfix release

Minor bugfix release incorporating a minor change (improvement) from Base 3.15.
No ABI change.
No need to update working production systems.

View source diff