-
schneider210 authored
additionally reintroduce the styling lost during last merge for the annotations
fba060cc
Dear Gitlab users, as announced previously (and here), we will be downgrading this Gitlab instance delayed to the Community edition on Thursday, 25.08.22, at 5 pm. You may ignore the (upcoming) banner below displayed by Gitlab.
additionally reintroduce the styling lost during last merge for the annotations