Make sure all tests are actually run, plus some fixups for things that
turn out to be made somewhere by existing Makefiles.
Loading
Please sign in to comment
WARNING! Gitlab maintenance operation scheduled for Saturday 28th March from 8 a.m. (CET) to approximately 3 p.m. (CET). GitLab will be unavailable during this time.
turn out to be made somewhere by existing Makefiles.