Processed: Re: Bug#284995: Fails to uninstall dur to failed rmdir:/usr/share/texmf/fonts/type1/pxr/

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

Processing commands for control@bugs.debian.org:

> severity 284995 serious
Bug#284995: Fails to uninstall dur to failed rmdir:/usr/share/texmf/fonts/type1/pxr/
Severity set to `serious'.

> merge 284800 284995
Bug#284800: tetex-base: Can't be removed: rmdir: `/usr/share/texmf/fonts/type1/pxr/': No such file or directory
Bug#284995: Fails to uninstall dur to failed rmdir:/usr/share/texmf/fonts/type1/pxr/
Merged 284800 284995.

> stop
Stopping processing here.

Please contact me if you need assistance.

Debian bug tracking system administrator
(administrator, Debian Bugs database)