tree 3c20e09afb40d13f492144ce575c072097734d35
parent 0d1bd1d32811c49aacd8ecba1a3cb5743582b56e
author Zesstra <zesstra@zesstra.de> 1574520849 +0100
committer Zesstra <zesstra@zesstra.de> 1574794989 +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