Closed andreasabel closed 1 year ago
@yay : PR is ready.
@andreasabel Probably meant @yav not yay
, lol
Yay! :-) Thanks, for fixing this.
@andreasabel Probably meant @yav not
yay
, lol
Auto-correction is switched on in my brain (and cannot be turned off). ;-)
@yav: Can I get a release of this PR?
That would be great! I am getting tired of seeing these warnings.
@yav: Please release. Cheese... Geese... 🙏
During build, there are still 221 warnings produced of the form:
This PR switches off
-Wunused-top-binds
and bumps CI to latest GHCs.