Dear Gitlab Users, for our upcoming upgrade to Gitlab v14, Gitlab will be unavailable on Thursday, 05.08.2021 from 5:00 pm to approximately 7:00 pm. Note that with v14, certain breaking changes will be introduced (

Commit 0ee3f63b authored by Malte Vassholz's avatar Malte Vassholz
Browse files

generalized Paganin: added semicolon to supress output

parent 8822ad7f
Pipeline #154558 passed with stage
in 1 minute and 47 seconds