Processed: reassign 687891 to llvm, forcibly merging 685170 687891

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> #Trick the BTS to merge this already fixed bug
> reassign 687891 llvm
Bug #687891 [libllvm-ocaml-dev] libllvm-ocaml-dev: copyright file missing after upgrade (policy 12.5)
Bug reassigned from package 'libllvm-ocaml-dev' to 'llvm'.
No longer marked as found in versions libllvm-ocaml-dev/1:3.0-13 and llvm-defaults/0.13.
Ignoring request to alter fixed versions of bug #687891 to the same values previously set
> forcemerge 685170 687891
Bug #685170 {Done: David Prévot <taffit at debian.org>} [llvm] llvm: empty /usr/share/doc/llvm
Bug #687868 {Done: David Prévot <taffit at debian.org>} [llvm] llvm: copyright file missing after upgrade (policy 12.5)
Bug #687877 {Done: David Prévot <taffit at debian.org>} [llvm] libllvm-ocaml-dev: copyright file missing after upgrade (policy 12.5)
Bug #687891 [llvm] libllvm-ocaml-dev: copyright file missing after upgrade (policy 12.5)
Marked Bug as done
The source llvm-defaults and version 0.14+nmu1 do not appear to match any binary packages
Marked as fixed in versions llvm-defaults/0.14+nmu1.
The source llvm and version 1:3.0-13 do not appear to match any binary packages
Marked as found in versions llvm/1:3.0-13, llvm-defaults/0.14, and llvm-defaults/0.13.
Added tag(s) patch.
Bug #687868 {Done: David Prévot <taffit at debian.org>} [llvm] llvm: copyright file missing after upgrade (policy 12.5)
Bug #687877 {Done: David Prévot <taffit at debian.org>} [llvm] libllvm-ocaml-dev: copyright file missing after upgrade (policy 12.5)
Merged 685170 687868 687877 687891
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
685170: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=685170
687868: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=687868
687877: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=687877
687891: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=687891
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems