teor df9a1f3137 Merge branch 'maint-0.4.2' into release-0.4.2 4 vuotta sitten
..
.dummy df76da0f3b Add a .dummy file in the changes directory to stop git from removing it 9 vuotta sitten
ticket32500 792c15fde2 Travis: use -std=gnu99 in some jobs 4 vuotta sitten