On Wednesday April 4 2007 5:02 pm, Alvaro Herrera wrote:
> > I guess if the bug were fixed, it'd be a non-issue.
>
> Sure, please submit a patch. It should not be too difficult.
Perhaps this could be added to the TODO list? I won't get to it
anytime soon.
Ed