tree 8d8150eee6ea11e28ff814e5d7ddf912302365de
parent 9376958bc8e53561c79a1acc7fb4768198fc4040
author Zesstra <zesstra@zesstra.de> 1575058676 +0100
committer MG Mud User <mud@mg.mud.de> 1575058676 +0100

Unwirksamen Typecast umgebaut.

Change-Id: Ida4bfbf11ae2c609defc7f57dc7416e13484298a