Christoph Berg <m...@debian.org> writes:
> It still doesn't work on current HEAD:

*What* still doesn't work on current HEAD?  I don't know what commands
you are running to get this.

                        regards, tom lane

Reply via email to