[commits] Core branch master updated. e13fecafa7740175a8f3ac045d9f269d3f17bad9

[Michael J. Rubinsky]

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

from: 46c0a0ffe77bbc47d3486acc14ecdacd413419e4

e13feca Avoid PHP warning if $results is empty.

Summary: https://github.com/horde/Core/compare/46c0a0ffe77b...e13fecafa774

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

commit e13fecafa7740175a8f3ac045d9f269d3f17bad9
Author: Michael J Rubinsky <mrubinsk at horde.org>
Date:   Mon, 23 Dec 2019 13:31:12 -0500

Avoid PHP warning if $results is empty.

 M lib/Horde/Core/ActiveSync/Driver.php

https://github.com/horde/Core/commit/e13fecafa7740175a8f3ac045d9f269d3f17bad9