README: Note GHC 9.2.6-or-later requirement #1969
Merged
Mergify / Rule: Delete head branch after merge (delete_head_branch)
succeeded
Nov 2, 2023 in 0s
Branch `T1968` has been deleted
Loading