Processed: not used anymore
Processing control commands:
> reassign -1 ftp.debian.org
Bug #707574 [wnpp] O: ko.tex-extra-hlfont -- Korean TeX: Extra HLaTeX fonts
Bug reassigned from package 'wnpp' to 'ftp.debian.org'.
Ignoring request to alter found versions of bug #707574 to the same values previously set
Ignoring request to alter fixed versions of bug #707574 to the same values previously set
> retitle -1 RM: ko.tex-extra-hlfont -- replaced by recent
Bug #707574 [ftp.debian.org] O: ko.tex-extra-hlfont -- Korean TeX: Extra HLaTeX fonts
Changed Bug title to 'RM: ko.tex-extra-hlfont -- replaced by recent' from 'O: ko.tex-extra-hlfont -- Korean TeX: Extra HLaTeX fonts'.
--
707574: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=707574
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: