Merge branch 'with_results'
authorMichael Wallner <mike@php.net>
Fri, 8 Mar 2013 14:56:03 +0000 (15:56 +0100)
committerMichael Wallner <mike@php.net>
Fri, 8 Mar 2013 14:56:03 +0000 (15:56 +0100)

Trivial merge