Revision d96f72f1fc93c1e3dc55b45e91cb318e43a9c0f8

Committed on 13/03/2023 7:18 pm by Edi Modrić <edi.modric@gmail.com> [GitHub Diff]

Remove unneeded cast