Bug#693846: unblock: playmidi 2.4debian-10
Hi,
Niels Thykier wrote (22 Nov 2012 17:19:27 GMT) :
> To be honest only the the hardening change seem possibly relevant, but I
> suspect it isn't a part of the release goal[1].
I agree. Given there was no reply for two months anyway,
my recommendation to the release team is to close this bug.
Cheers,
--
intrigeri
| GnuPG key @ https://gaffer.ptitcanardnoir.org/intrigeri/intrigeri.asc
| OTR fingerprint @ https://gaffer.ptitcanardnoir.org/intrigeri/otr.asc
Reply to: