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(at)momjian(dot)us> http://momjian.us
EnterpriseDB http://enterprisedb.com
+ Everyone has their own god. +