Bruce Momjian <bruce(at)momjian(dot)us> writes:
> I was suggesting the colon rather to be clearer, not as an Oracle
> fix.
Well, we could certainly debate the change on its own merits, but
I'm not seeing that it's enough nicer to justify a risk of breaking
ps-watching scripts.
regards, tom lane