tree f40313facfc1860574ae86eaa16c4db719cb9ae9
parent f863771484d88e6ebc937556f59667628c0ce79d
author Zesstra <zesstra@zesstra.de> 1596652655 +0200
committer MG Mud User <mud@mg.mud.de> 1596652655 +0200

Unnoetigen Cast entfernt.

Change-Id: Ic7655b32a9ff31f44a703932fe455c5f6f694f71