chore: update dev_tools submodule #22

Merged

umpire274 merged 1 commit from chore/update-dev-tools-submodule into main 2026-04-28 10:03:41 +02:00

Conversation 0 Commits 1 Files changed 3 +1 -88

umpire274 commented 2026-04-28 10:03:32 +02:00 (Migrated from github.com)

Copy link

No description provided.

👍 1

Sign in to join this conversation.

Reviewers

No reviewers

Labels

Clear labels   

bug

Something isn't working

  

documentation

Improvements or additions to documentation

  

duplicate

This issue or pull request already exists

  

enhancement

New feature or request

  

good first issue

Good for newcomers

  

help wanted

Extra attention is needed

  

invalid

This doesn't seem right

  

question

Further information is requested

  

wontfix

This will not be worked on

No labels

bug

documentation

duplicate

enhancement

good first issue

help wanted

invalid

question

wontfix

Milestone

Clear milestone

No items

No milestone

Projects

Clear projects

No items

No project

Assignees

Clear assignees

No assignees

1 participant

Notifications

Subscribe

Due date

The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference

umpire274/librius!22

No description provided.