mirror of
https://github.com/php/php-src.git
synced 2026-04-29 19:23:22 +02:00
8f43323dee
to differentiate between different branches. - Bumbed the version number to 6.0.0-dev. I know we didn't discuss this yet, but I feel it should be 6.0. See mail to the mailinglist.
243 B
243 B