Christoph Berg <myon(at)debian(dot)org> writes:> It still doesn't work on current HEAD:
*What* still doesn't work on current HEAD? I don't know what commandsyou are running to get this.
regards, tom lane