Revision 6985f3ee73baec21a93177df2e8ee640aa8f5848

Committed on 03/02/2022 1:02 am by Petar Å panja <[email protected]> [GitHub Diff]

Minor language fixes