20 Aug
2018
20 Aug
'18
11:30 p.m.
Matthew Pickering <matthewtpickering@gmail.com> writes:
I think the release should include this fix to haddock. Will that happen?
Yes, we can make that happen.