On Tue, Sep 02, 2003 at 03:56:40PM +0200, Stefano Zacchiroli wrote: > What about adding this patch to the ocaml debian package? Mmm, let's see if upstream will pick it up, if they don't do it, it would always be possible to include it later on. But then, i prefer not to do so, since i have already been bitten once with a third-party patch of dubious quality. Friendly, Sven Luther