[commits] Perms branch master updated. a8d77a92abc96bce1e9bda321096cfaf9212ec54

[Michael J. Rubinsky]

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

from: ee1265b616ae41b72f12d72dba3454f4447c00ca

1031418 [mjr] Avoid error on PHP 7.3 due to use of continue.
a8d77a9 [mjr] Avoid error on PHP 7.3 due to use of continue.

Summary: https://github.com/horde/Perms/compare/ee1265b616ae...a8d77a92abc9

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

commit 1031418981436b68263da656f1f63189767d799f
Author: Michael J Rubinsky <mrubinsk at horde.org>
Date:   Sun, 12 May 2019 13:02:40 -0400

[mjr] Avoid error on PHP 7.3 due to use of continue.

 M doc/Horde/Perms/changelog.yml

https://github.com/horde/Perms/commit/1031418981436b68263da656f1f63189767d799f

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

commit a8d77a92abc96bce1e9bda321096cfaf9212ec54
Author: Michael J Rubinsky <mrubinsk at horde.org>
Date:   Sun, 12 May 2019 13:02:40 -0400

[mjr] Avoid error on PHP 7.3 due to use of continue.

 M doc/Horde/Perms/CHANGES
 M package.xml

https://github.com/horde/Perms/commit/a8d77a92abc96bce1e9bda321096cfaf9212ec54