Processing commands for cont...@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 <taf...@debian.org>} [llvm] llvm: empty
/usr/share/doc/llvm
Bug #687868 {Done: David Prévot <taf...@debian.org>} [llvm] llvm: copyright
file missing after upgrade (policy 12.5)
Bug #687877 {Done: David Prévot <taf...@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 <taf...@debian.org>} [llvm] llvm: copyright
file missing after upgrade (policy 12.5)
Bug #687877 {Done: David Prévot <taf...@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 ow...@bugs.debian.org with problems
--
To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
