mirror of
https://github.com/php/php-src.git
synced 2026-04-28 18:53:33 +02:00
6aa9c1911b
* PHP-7.2: Fixed bug #74833, SID constant created with wrong module number