Processed: upstream bug
Processing commands for control@bugs.debian.org:
> found 583300 3.11.2-1
Bug #583300 [ocaml] ocamlopt x86_64: Stack_overflow not always generated properly
Bug Marked as found in versions ocaml/3.11.2-1.
> forwarded 583300 http://caml.inria.fr/mantis/view.php?id=5064
Bug #583300 [ocaml] ocamlopt x86_64: Stack_overflow not always generated properly
Set Bug forwarded-to-address to 'http://caml.inria.fr/mantis/view.php?id=5064'.
> tags 583300 + upstream
Bug #583300 [ocaml] ocamlopt x86_64: Stack_overflow not always generated properly
Added tag(s) upstream.
> thank you
Stopping processing here.
Please contact me if you need assistance.
--
583300: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=583300
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: