
20 Apr
2018
20 Apr
'18
2:38 p.m.
Am Freitag, den 20.04.2018, 13:58 -0400 schrieb Ben Gamari:
Wolfgang Jeltsch
writes: What about #15005? It is closed as fixed but not mentioned in the release notes.
Sigh, yes, it looks like I missed that one in the release notes.
Nevertheless, the issue should be fixed.
Yes, it looks fine: the order-maintenance package can be compiled with GHC 8.4.2. All the best, Wolfgang