Closed ners closed 1 month ago
Thanks! Let me merge #299 first, then we can merge this and bump GHC to 9.6 :smile:
Huh, it seems I automatically closed it and can't change the target branch :thinking: sorry. I'll cherry pick your commit!
No worries, I’ll just open a new one when you’re ready. 🙂
Thanks! Let me merge #299 first, then we can merge this and bump GHC to 9.6 :smile: