Skip to content

Bugfix gnumake

Carsten Burgard requested to merge bugfix-gnumake into master

a few minor fixes to gnumake such that the CI does not complain anymore

Merge request reports