On Mon, May 4, 2015 at 1:23 PM, Robert Haas <robertmhaas(at)gmail(dot)com> wrote:> I fixed several whitespace errors, reverted the permissions changes> you included
Sorry about the permission changes - didn't notice that bite.
Thanks,Qingqing