Skip to content

Remove a few redundant casts

Sebastian requested to merge remove-redundant-casts into master

Found those while looking for something else

Merge request reports