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 ---------------------------(end of broadcast)--------------------------- TIP 5: don't forget to increase your free space map settings
