tree 9fb54774fc6146057264cc94cbc019a28d0cccd5
parent 117e5f64e1d57c262560d53c9853e29ea42f039c
author Zesstra <zesstra@zesstra.de> 1574520849 +0100
committer Zesstra <zesstra@zesstra.de> 1574706703 +0100

F_SET_METHOD/F_QUERY_METHOD kann mixed sein.

Leider ist nicht garantiert, dass F_SET_METHOD und
F_QUERY_METHOD eine closure sind. :-(
TODO: das muss anders werden.

Change-Id: Id82c7923f287f97186e7853ad9967841e3ba0325