Hmm, just realized that my last sentence wasn't entirely clear. I was refering what the SVN version of PHP prefers. So yes, "our" autoconf2.13 is what I guess we should use.
Hmm, just realized that my last sentence wasn't entirely clear. I was refering what the SVN version of PHP prefers. So yes, "our" autoconf2.13 is what I guess we should use.