On Tue, Aug 25, 2015 at 7:51 AM, Amit Kapila <amit.kapila16@gmail.com> wrote: > [ new patch ]
Andres pinged me about this patch today. It contained a couple of very strange whitespace anomalies, but otherwise looked OK to me, so I committed it with after fixing those issues and tweaking the comments a bit.