Patch applied. Thanks.
---------------------------------------------------------------------------
David Fetter wrote:
> Folks,
>
> I think this needs to be made explicit in the documentation. Better,
> of course, would be some kind of change to the PL infrastructure that
> Just Handles It, but until then....
>
> Cheers,
> D
> --
> David Fetter david@fetter.org http://fetter.org/
> phone: +1 510 893 6100 mobile: +1 415 235 3778
>
> Remember to vote!
[ Attachment, skipping... ]
>
> ---------------------------(end of broadcast)---------------------------
> TIP 6: explain analyze is your friend
--
Bruce Momjian | http://candle.pha.pa.us
pgman@candle.pha.pa.us | (610) 359-1001
+ If your life is a hard drive, | 13 Roberts Road
+ Christ can be your backup. | Newtown Square, Pennsylvania 19073