5 Dec
2013
5 Dec
'13
6:56 a.m.
Hi, Am Donnerstag, den 05.12.2013, 12:15 +0100 schrieb Herbert Valerio Riedel:
PS: I didn't merge in testsuite's Git history as that would bloat ghc.git quite a bit;
would that really be a problem? How different are the numbers? I’m a fan of keeping history readily available, so unless it really hurts I suggest to do a proper merge. Greetings, Joachim -- Joachim “nomeata” Breitner mail@joachim-breitner.de • http://www.joachim-breitner.de/ Jabber: nomeata@joachim-breitner.de • GPG-Key: 0x4743206C Debian Developer: nomeata@debian.org