tree 63dcf60e5e6ddeecdee82a2c6a98944bf4b69514
parent 0db0e6cd68951a0c05d5762167acc0fb00c29c60
author Zesstra <zesstra@zesstra.de> 1587667532 +0200
committer MG Mud User <mud@mg.mud.de> 1587667532 +0200

Deklarativen Cast bei call_other ergaenzt.

Change-Id: I0d176d71149188cdd390270556ab669af73c9cab