projects / m6w6 / ext-raphf / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree | github
raw | combined (merge: 03f4695 49703f0)
Merge pull request #2 from Jan-E/master
authorMichael Wallner <mike@php.net>
Fri, 22 Jan 2016 13:04:02 +0000 (14:04 +0100)
committerMichael Wallner <mike@php.net>
Fri, 22 Jan 2016 13:04:02 +0000 (14:04 +0100)
Fix PHP7 config.w32


Trivial merge
Resource and persistent handles factory