[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

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: