Revision 738071cccef698009a122fee6bce49ab40445258

Committed on 28/02/2022 11:38 pm by Petar Å panja <petar@spanja.info> [GitHub Diff]

Remove unused parameter and apply CS