25 Jul
2020
25 Jul
'20
3:10 p.m.
Am Freitag, den 24.07.2020, 11:37 -0400 schrieb Ben Gamari:
As no one has objected, let's move ahead with this proposal. GHC 8.12.1 shall henceforth be 9.0.1.
Allow me to fix the Subject of this mail thread then ;-) -- Joachim Breitner mail@joachim-breitner.de http://www.joachim-breitner.de/