diff options
author | Remi Collet <remi@php.net> | 2019-04-02 11:05:54 +0200 |
---|---|---|
committer | Christoph M. Becker <cmbecker69@gmx.de> | 2019-04-02 11:19:13 +0200 |
commit | 45c0cda03078c8d02354cfc042098d482adb0cf4 (patch) | |
tree | 55072d8c2fe8612eb94f928f95bb3b97c4bbfa90 /NEWS | |
parent | 116ef4674714177e771575f009f3e177e983935f (diff) | |
download | php-git-45c0cda03078c8d02354cfc042098d482adb0cf4.tar.gz |
Merge branch 'PHP-7.2' into PHP-7.3
* PHP-7.2:
fix paste issue
(cherry picked from commit 002983e4636ee30f733b958449f28e362e513cfc)
Diffstat (limited to 'NEWS')
0 files changed, 0 insertions, 0 deletions