Merge branch 'feature/fedora-31' into 'master'

Drop Fedora 31

See merge request !11
18 jobs for 2.12