Is there any functionality to edit tag names once ...
# give-feedbackf
few-dusk-86475
06/08/2023, 1:38 PMIs there any functionality to edit tag names once they've been made?
f
fresh-football-47124
06/08/2023, 4:27 PM
I have an old PR for this
fresh-football-47124
06/08/2023, 4:27 PM
but can you open an new issue for it?
f
few-dusk-86475
06/09/2023, 11:16 AMNice, added an issue for this
g
gray-crayon-34592
08/22/2023, 7:52 AM+1
28 Views