On Sat, Dec 7, 2013 at 3:50 PM, Peter Eisentraut <peter_e(at)gmx(dot)net> wrote:> 32-bit buildfarm members are having problems with this patch.
This should fix that problem. Thanks.
-- Peter Geoghegan