Merge branch 'PHP-7.3' into PHP-7.4

* PHP-7.3:
  [ci skip] Add missing notes regarding gc_status()
This commit is contained in:
Christoph M. Becker 2019-02-03 18:32:01 +01:00
commit 020ca5bf2b

Diff content is not available