commit | 10412ed526136b6c28d0afdb46f9aaed258a7ba2 | [log] [tgz] |
---|---|---|
author | Zesstra <zesstra@zesstra.de> | Sat Nov 23 15:54:09 2019 +0100 |
committer | Zesstra <zesstra@zesstra.de> | Tue Nov 26 20:03:09 2019 +0100 |
tree | 3c20e09afb40d13f492144ce575c072097734d35 | |
parent | 0d1bd1d32811c49aacd8ecba1a3cb5743582b56e [diff] |
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