search

kasparsd / php-7-debian

Install PHP 7 on Debian/Ubuntu
349 stars 103 forks source link

PHP GitHub repository doesn't use branch names for releases #45

Closed kasparsd closed 7 years ago

kasparsd commented 7 years ago

For example, the branch for PHP 7.1.2 was not used to prepare the 7.1.2 release.