tree 41c07370d984d7ad2bf69735232d6d45302037ef
parent 064d489b35a4d4a1668795bddc37d57cbf8d422f
author Miroslav Šedivý <6774676+eumiro@users.noreply.github.com> 1695318878 +0200
committer Miroslav Šedivý <6774676+eumiro@users.noreply.github.com> 1695319946 +0200

Remove redundant int() conversion