On Sat, Jan 25, 2014 at 10:40:28PM +0100, Andres Freund wrote:
> I don't think it improves things relevantly, but it doesn't make
> anything worse either. So if that makes anybody happy...
>
> I think this style of pinhole copy editing is pretty pointless. There's
> dozen checks just like this around. If somebody wants to change the rules
> or improve comment it takes more than picking a random one.
OK, change made.
-- Bruce Momjian <bruce@momjian.us> http://momjian.us EnterpriseDB
http://enterprisedb.com
+ Everyone has their own god. +