On 11/13/2014 03:38 AM, Alvaro Herrera wrote:> configure is a generated file. If your patch touches it but not> configure.in, there is a problem.
Thanks for pointing it out, I have now fixed it.
-- Andreas Karlsson