diff options
| author | Joe Watkins <krakjoe@php.net> | 2019-06-19 08:58:28 +0200 |
|---|---|---|
| committer | Joe Watkins <krakjoe@php.net> | 2019-06-19 08:59:04 +0200 |
| commit | 025899e3b53e47cae9c1da4077988577b57e4b15 (patch) | |
| tree | 8286e02d4d8334803be0ef1f0ba2a5f1ec646c10 /NEWS | |
| parent | 96663fd6aeda350cc2b51c975d7fa46315efc106 (diff) | |
| parent | 65067dff01fc3a46861ddfe0fe6d3e556460c146 (diff) | |
| download | php-git-025899e3b53e47cae9c1da4077988577b57e4b15.tar.gz | |
Merge branch 'PHP-7.2' into PHP-7.3
* PHP-7.2:
Resolve discrepencies between second value yielded by gettimeofday and time, fixes #69044
Diffstat (limited to 'NEWS')
| -rw-r--r-- | NEWS | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -5,6 +5,9 @@ PHP NEWS - Core: . Added syslog.filter=raw option. (Erik Lundin) +- Date: + . Fixed #69044 (discrepency between time and microtime). (krakjoe) + 27 Jun 2019, PHP 7.3.7 - Core: |