Processed (with 1 error): Re: texlive-base: Please don't install useless texdoctk.desktop
Processing commands for control@bugs.debian.org:
> unarchive 836441
Bug #836441 {Done: Norbert Preining <preining@debian.org>} [texlive-base] texlive-base: Please don't install useless texdoctk.desktop
Unarchived Bug 836441
> reopen 836441
Bug #836441 {Done: Norbert Preining <preining@debian.org>} [texlive-base] texlive-base: Please don't install useless texdoctk.desktop
'reopen' may be inappropriate when a bug has been closed with a version;
all fixed versions will be cleared, and you may need to re-add them.
Bug reopened
No longer marked as fixed in versions texlive-base/2017.20170801-1.
> found 836441
Bug #836441 [texlive-base] texlive-base: Please don't install useless texdoctk.desktop
Ignoring request to alter fixed versions of bug #836441 to the same values previously set
> The whole original description is still valid.
Unknown command or malformed arguments to command.
>
End of message, stopping processing here.
Please contact me if you need assistance.
--
836441: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=836441
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: