Closed ulysses4ever closed 2 years ago
Rebase of #1417.
@ulysses4ever Do you want to keep this one open? Or shall I close it?
I haven’t checked if it’s relevant anymore. If it isn’t or you think there’s another way to achieve it, feel free to close. If I can do something (e.g. rebase again), I could certainly do that.
@ulysses4ever okay, a rebase would be welcome then. :)
@Kleidukos rebased.
Actually, it's not going to work anymore: one file in this PR doesn't have those imports on ghc-9.2
anymore, and another file doesn't build without those imports. So, closing. Sorry for the noise.
No worries :)
Target the right branch.