🐛 makefile: remove invalid comment #3816
Merged
GitHub Actions / PR Type
succeeded
May 17, 2024 in 0s
PR Type in Title
Found 🐛 PR (bugfix)
Details
Final title:
makefile: remove invalid comment
Loading