tree a3cba2363d5eb545f7942d26f1ac71a92299f9e2
parent 24bbaeedac85034add429c54ba17502e5b11264e
author Zesstra <zesstra@zesstra.de> 1578517838 +0100
committer MG Mud User <mud@mg.mud.de> 1578517838 +0100

Bei Zugriffen explizit auf this_interactive() testen

Wird zwar vorrausgesetzt, aber den FiRZG bruachen wir ja nicht.

Change-Id: I4a597a7bb2f492a63992b4e4008bfa691d0c45b9