vorburger
commented
2 years ago Hello @BradyBrenot I'm doing a year end clean up of my personal https://github.com/pulls and wanted to ask if you would still consider merging this very old Pull Request, or if we should forget about and close this? (This is a bulk message I'm posting to many issues to gauge what is still revelant.)
This hides a lot of warnings which make it harder to see real errors, such as missing dependencies from #151.