23 Apr
2015
23 Apr
'15
4:39 a.m.
HI, Am Donnerstag, den 23.04.2015, 08:10 +0000 schrieb Simon Peyton Jones:
#10218 is fully fixed, so are we good on this one now?
note the date of Richard’s message: April 1st. Looks like it got stuck in the internets for a long time... (I was confused at first as well.) 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