tree b1f8652b00113a2cbc8f8581940e57dd83c7f25c
parent 2dff7c5c6ecf8d5515ba2745506b0a9a0ff63b29
author Zesstra <zesstra@zesstra.de> 1596744379 +0200
committer MG Mud User <mud@mg.mud.de> 1596744379 +0200

Revert "Neues Default-Pragma: no_warn_empty_casts"

This reverts commit 2dff7c5c6ecf8d5515ba2745506b0a9a0ff63b29.
Es war nicht vorgesehen, das Pragma dauerhaft zu setzen.