Am Dienstag, den 12.05.2020, 11:19 + schrieb Trevor:
> Another question:
>
> How do I remove labels no longer relevant (or entered incorrectly!) eg
> Patch:Push for verified issues?
If using the UI, click "Edit" next to the labels, find the one you want
to remove and untick. For the lazy,
Another question:
How do I remove labels no longer relevant (or entered incorrectly!) eg
Patch:Push for verified issues?
Trevor
-- Original Message --
From: "Kevin Barry"
To: "Federico Bruni"
Cc: "lilypond-devel"
Sent: 12/05/2020 08:15:02
Subject: Re: Verifying issues on Gitlab