diff options
| author | Peter Kokot <peterkokot@gmail.com> | 2018-08-12 11:16:06 +0200 |
|---|---|---|
| committer | Peter Kokot <peterkokot@gmail.com> | 2018-08-12 11:16:06 +0200 |
| commit | f689223b4ed8f721066c409310553e54f167d19c (patch) | |
| tree | c1a30b08ef5affe7aae41d449c93b5652cbe6f81 /main | |
| parent | 29b56a878aa22310d645c3266110417e07ebe683 (diff) | |
| parent | e0fe667421bfd49d25f0052d873cef7c344ebb74 (diff) | |
| download | php-git-f689223b4ed8f721066c409310553e54f167d19c.tar.gz | |
Merge branch 'PHP-7.3'
* PHP-7.3:
Fix bug #76030 RE2C_FLAGS rarely honoured
Diffstat (limited to 'main')
0 files changed, 0 insertions, 0 deletions