Closed jfjlaros closed 2 years ago
I accidentally added more commits to this PR, this is fixed in PR #484.
For future reference, you can do a "force push" to a branch to remove extra commit (or push fixed versions of them after using git rebase
for history rewriting) and the PR will be automatically updated to reflect whatever you push to the branch. Also, doing a force push to PR branches is generally considered acceptable (unlike force pushing to e.g. the master/main branch, which makes things more complicated for other people that have pulled that branch).
This "patch" will result in the suppression of a number of warnings that are the result of unused parameters. In particular the following warnings are removed.
P.S. There are some more warnings about the use of binary constants (e.g.,
0b11111000
). I can also take care of them if you like.