Processed: Re: libmpich-dev: leaves alternatives after purge: /etc/alternatives/mpi-<triplet>

[Debian Bug Tracking System]

Processing control commands:

> severity -1 serious
Bug #986599 [libmpich-dev] libmpich-dev: leaves alternatives after purge: /etc/alternatives/mpi-<triplet>
Severity set to 'serious' from 'important'
> tag -1 patch
Bug #986599 [libmpich-dev] libmpich-dev: leaves alternatives after purge: /etc/alternatives/mpi-<triplet>
Added tag(s) patch.

-- 
986599: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=986599
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems