mirror of https://github.com/php/php-src
Browse Source
This merge is a "fake". It was done with the merge strategy "ours" to ensure Git thinks both branches are in sync after the migration from SVN.pull/12/head