Skip to content

update Makefile

Ralf Jung requested to merge ci/ralf/makefile into master

Just using an MR to make sure this builds on CI.

Merge request reports