Revision 53f2c598ef1848c1980270f42c25e7699a699fb7

Committed on 21/02/2023 11:07 am by Petar Å panja <[email protected]> [GitHub Diff]

Remove unnecessary check (always true)