Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
I needed this change for `make` to succeed on Fedora 41. Not sure if this is the right way to do this, so I'm open to suggestions. I haven't tested this on other Linux distros.
- Loading branch information