Closed guihkx closed 11 months ago
Fedora 36 has reached end-of-life in May 2023, so let's replace it by version 37.
Pushed this last commit to the wrong branch, my bad. I'll fix it.
Fedora 36 has reached end-of-life in May 2023, so let's replace it by version 37.