Processed: reassign 517134 to ocaml-compiler-libs, merging 517134 630898

[owner@bugs.debian.org (Debian Bug Tracking System)]

Processing commands for control@bugs.debian.org:

> reassign 517134 ocaml-compiler-libs
Bug #517134 [ocaml-nox] ocaml-nox: install some files that are also installed by ocaml-compiler-libs
Bug reassigned from package 'ocaml-nox' to 'ocaml-compiler-libs'.
Bug No longer marked as found in versions ocaml/3.11.0-5.
> merge 517134 630898
Bug#517134: ocaml-nox: install some files that are also installed by ocaml-compiler-libs
Bug#630898: ocaml-compiler-libs: Contains a duplicate of 'outcometree.{cmi.mli}, as provided by ocaml-nox (a dependency)
Merged 517134 630898.

> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
630898: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=630898
517134: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=517134
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems