[commits] Perms branch master updated. ee1265b616ae41b72f12d72dba3454f4447c00ca

Sun May 12 17:01:59 UTC 2019

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

from: 8c58b3088a20b0e88896fc3017d462697474f8db

ee1265b Bug: 14924 Fix for PHP 7.3 continue/break error

Summary: https://github.com/horde/Perms/compare/8c58b3088a20...ee1265b616ae

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

commit ee1265b616ae41b72f12d72dba3454f4447c00ca
Author: Michael J Rubinsky <mrubinsk at horde.org>
Date:   Sun, 12 May 2019 13:01:46 -0400

Bug: 14924 Fix for PHP 7.3 continue/break error

 M lib/Horde/Perms/Permission.php

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