[Debian-ha-maintainers] Bug#828001: fixed

[Debian FTP Masters]

We believe that the bug you reported is now fixed; the following
changes were made to the overrides...

Concerning package corosync-dev...
Operating on the unstable suite
Changed priority from optional to extra
Changed section from libdevel to oldlibs


Thank you for reporting the bug, which will now be closed.  If you
have further comments please address them to 828001 at bugs.debian.org.

This message was generated automatically; if you believe that there is
a problem with it please contact the archive administrators by mailing
ftpmaster at ftp-master.debian.org.

Debian distribution maintenance software
pp.
Luca Falavigna (the ftpmaster behind the curtain)