Try harder to update Makefile.gappkg, but don't die over it#307

Merged

fingolfin merged 1 commit intooscar-system:masterfrom fingolfin:mh/fix-julia-1.3-build

Jan 17, 2020

+2-2

Commits on Jan 16, 2020

Try harder to update Makefile.gappkg, but don't die over it
fingolfin
committed