Small cleanup. #1560

Narsil merged 1 commit into main from small_cleanup
Narsil
Narsil Small cleanup.
524e0606
OlivierDehaene
OlivierDehaene approved these changes on 2024-02-14
Narsil Narsil merged 4c2848b2 into main 2 years ago
Narsil Narsil deleted the small_cleanup branch 2 years ago

Login to write a write a comment.

Login via GitHub

Reviewers
Assignees
No one assigned
Labels
Milestone