Revision d96f72f1fc93c1e3dc55b45e91cb318e43a9c0f8

Committed on 13/03/2023 7:18 pm by Edi Modrić <[email protected]> [GitHub Diff]

Remove unneeded cast