[commits] Core branch master updated. 9af7a66ccd2caa4c783aa29ccd16ef9a2aa9d90e

[Michael J. Rubinsky]

The branch "master" has been updated.
The following is a summary of the commits.

from: e13fecafa7740175a8f3ac045d9f269d3f17bad9

9af7a66 [mjr] Improve PHP 7.3 compatibility.

Summary: https://github.com/horde/Core/compare/e13fecafa774...9af7a66ccd2c

-----------------------------------------------------------------------

commit 9af7a66ccd2caa4c783aa29ccd16ef9a2aa9d90e
Author: Michael J Rubinsky <mrubinsk at horde.org>
Date:   Mon, 23 Dec 2019 14:55:49 -0500

[mjr] Improve PHP 7.3 compatibility.

 M doc/Horde/Core/changelog.yml

https://github.com/horde/Core/commit/9af7a66ccd2caa4c783aa29ccd16ef9a2aa9d90e