~costamagnagianfranco/+git/hedgewars-merge:master

Last commit made on 2022-10-25
Get this branch:
git clone -b master https://git.launchpad.net/~costamagnagianfranco/+git/hedgewars-merge
Only Gianfranco Costamagna can upload to this branch. If you are Gianfranco Costamagna please log in for upload directions.

Branch merges

Branch information

Recent commits

5e5f24c... by Gianfranco Costamagna

Merge with sid

6fb717e... by Gianfranco Costamagna

Merge with sid

ffd9617... by Gianfranco Costamagna

Merge branch 'master' into groovy

b1e231e... by Gianfranco Costamagna

Merge with sid

2e234a6... by Gianfranco Costamagna

Drop all patches

b5faf8e... by Gianfranco Costamagna

Drop patches

b936f9e... by Gianfranco Costamagna

Drop stuff used only in newer ghc

b394a4b... by Gianfranco Costamagna

Add groovy branch for new ghc

7faadde... by Gianfranco Costamagna

back compat-level 12

120b8bf... by Gianfranco Costamagna

Push compat level 10