Merge branch 'mob' of git://repo.or.cz/tinycc into mypatch
commitc2976962dac87ba0c1236d92761c98f1fb599e6f
authorChristian Jullien <jullien@eligis.com>
Thu, 16 Jan 2020 08:00:26 +0000 (16 09:00 +0100)
committerChristian Jullien <jullien@eligis.com>
Thu, 16 Jan 2020 08:00:26 +0000 (16 09:00 +0100)
treede2b7e2eec8ae8570093c8cca2095397e09a4f54
parentc7e3d5d7a35061a0096629d2e8528528fd15585d
parent0d7c40b9484cce68c710fb17fd8bafd2832a6c69
Merge branch 'mob' of git://repo.or.cz/tinycc into mypatch