php/archived-php-src
1
0
Fork 0
mirror of https://github.com/php/php-src.git synced 2026-04-21 23:18:13 +02:00
Code Issues Packages Projects Releases Wiki Activity
128,697 Commits 549 Branches 1,484 Tags
bbc0c4c5c8bfadcd3dd74dfd923ac8d4e512de9a
Commit Graph

3 Commits

Author SHA1 Message Date
Thomas Punt 3bbcd84e2f re-apply patch for github PR #1695 2016-01-12 07:07:51 +01:00
Anatol Belski 66d10fe085 Revert "patch for github PR #1695" 
This reverts commit 58dd956b63.

crashes on travis
 2016-01-11 22:03:36 +01:00
Thomas Punt 58dd956b63 patch for github PR #1695 2016-01-11 21:11:55 +01:00