Merge branch 'master' of bitbucket.org:mike_php_net/ext-raphf release-1.0.2
authorMichael Wallner <mike@php.net>
Tue, 20 Aug 2013 12:24:56 +0000 (14:24 +0200)
committerMichael Wallner <mike@php.net>
Tue, 20 Aug 2013 12:24:56 +0000 (14:24 +0200)

Trivial merge