[Pkg-openmpi-maintainers] Processed: Still applies

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> found 531522 1.3.2-2.1
Bug#531522: libopenmpi-dev: mpicc segfaults under fakeroot
Bug marked as found in version 1.3.2-2.1 and reopened.

> thanks
Stopping processing here.

Please contact me if you need assistance.

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