Hi, Am Donnerstag, den 29.01.2015, 17:58 +0000 schrieb Simon Peyton Jones:
Hence the question: should we simply delay 7.10 by, say, a month?
am I right that the bug is also in 7.8, i.e. it is not a regression? In that case, on its own, it is not a good reason to delay the release if we want to release. (There were releases while we knew about the GND unsoundness bug.) But if it looks like there is a big benefit from having a release a bit later, such as a not-too-ugly work-around or even a fix, then of course we _can_ delay it. Personally, I’m not urgently waiting for this release – Debian is too much behind anyways :-) How well would a work-around or fix fit in a 7.8.2 release? Will the fix practically affect what code compiles and what code does not? If the fix would not break reasonable code, then it might be better aimed for 7.8.2. Greetings, Joachim -- Joachim “nomeata” Breitner mail@joachim-breitner.de • http://www.joachim-breitner.de/ Jabber: nomeata@joachim-breitner.de • GPG-Key: 0xF0FBF51F Debian Developer: nomeata@debian.org