Julian Ospald 673db344d6 Merge branch 'issue-414'		2022-12-27 00:09:28 +08:00
..
GHCup	Improve postRm message, fixes #384	2022-12-20 22:20:10 +08:00
BrickMain.hs	Improve postRm message, fixes #384	2022-12-20 22:20:10 +08:00
Main.hs	Improve upgrade warning wrt #414	2022-12-20 21:49:26 +08:00