Jeremy Drake said:
> There is no patch or anything associated with it, just the
> suggestion that it be put in when 8.3 devel starts up.

Right -- this is on my TODO list for 8.3. I'm traveling at the
moment, but I can send a patch for this in a week or two.


---------------------------(end of broadcast)---------------------------
TIP 5: don't forget to increase your free space map settings

Reply via email to