On Wed, Oct 06, 2010 at 03:56:59PM +0200, Stéphane Glondu wrote: > dose2 should be migrated to dh-ocaml >= 0.9. Dose2 is obsolete, and will be replaced by dose3 (which doesn't have this bug). Dose3 is currently waiting in the New queue. -Ralf.