On Fri, Feb 20, 2015 at 05:23:04PM +0100, Virgile Prevosto <virgile.prevo...@m4x.org> wrote: > > I guess I still kind of hoped that the issue would be propagated to > Debian at some point, but I can understand that it wasn't important > enough to be handled by Ubuntu's bug managers >
Sure. No problem. Do not hesitate to submit bugs directly to Debian next time. The only issue would be to reproduce the problem on a Debian machine, which is generally easy with OCaml packages (well, as long as there is not fishy binding stuff involved). Kind regards, -- Mehdi Dogguy -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org