| commit | 3cd0b12c4d1e79dcbc25a244e6c0598b6c8636e2 | [log] [tgz] |
|---|---|---|
| author | Zesstra <zesstra@zesstra.de> | Sat Nov 23 15:54:09 2019 +0100 |
| committer | Zesstra <zesstra@zesstra.de> | Mon Nov 25 19:31:43 2019 +0100 |
| tree | 9fb54774fc6146057264cc94cbc019a28d0cccd5 | |
| parent | 117e5f64e1d57c262560d53c9853e29ea42f039c [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