Skip to content

Conversation

@olszomal
Copy link
Collaborator

@olszomal olszomal commented Jan 9, 2026

This pull request introduces the need for the following labels in the repository:

  • crash - Report a segmentation fault
  • documentation - Improvements or additions to documentation
  • feature - Suggest a new feature or improvement

GitHub does not support relative links to the Discussions section, so a full URL must be used.

@olszomal olszomal merged commit 7d85ac5 into mtrojnar:master Jan 9, 2026
9 checks passed
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