On 3/10/16 8:52 PM, Andres Freund wrote:> Hrmpf. I tried to fix the issue; could you quickly verify?
looks good