Revision 738071cccef698009a122fee6bce49ab40445258

Committed on 28/02/2022 11:38 pm by Petar Å panja <[email protected]> [GitHub Diff]

Remove unused parameter and apply CS