[Pkg-openmpi-maintainers] Processed: openmpi: Please remove leftover libcr-dev build dependency

[Debian Bug Tracking System]

Processing control commands:

> block 876908 by -1
Bug #876908 [src:blcr] Is blcr completely useless?
876908 was not blocked by any bugs.
876908 was not blocking any bugs.
Added blocking bug(s) of 876908: 877009

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