Skip to content

chore(meta): change labels of severity to category#3488

Merged
seanmonstar merged 1 commit into
masterfrom
labels-category
Dec 15, 2023
Merged

chore(meta): change labels of severity to category#3488
seanmonstar merged 1 commit into
masterfrom
labels-category

Conversation

@seanmonstar

Copy link
Copy Markdown
Member

No description provided.

@seanmonstar seanmonstar merged commit 81b1592 into master Dec 15, 2023
@seanmonstar seanmonstar deleted the labels-category branch December 15, 2023 14:57
0xE282B0 pushed a commit to 0xE282B0/hyper that referenced this pull request Jan 12, 2024
0xE282B0 pushed a commit to 0xE282B0/hyper that referenced this pull request Jan 16, 2024
Signed-off-by: Sven Pfennig <s.pfennig@reply.de>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant