Re: [ghc-steering-committee] Split -Wunused-imports (recommend accept)

Hi, Am Mittwoch, dem 28.06.2023 um 16:20 +0100 schrieb Chris Dornan:

It looks like we are accepting this proposal -- I have changed the label to accepted on the repo. If anybody objects please speak up!

thanks, merged Cheers, Joachim -- Joachim Breitner mail@joachim-breitner.de http://www.joachim-breitner.de/