Bruce Momjian <pgman(at)candle(dot)pha(dot)pa(dot)us> writes:> OK, what did we decide on this change?
I thought we'd decided that current CVS tip is okay. If the MIPScamp wants to download it and verify ...
regards, tom lane