-
Karl Wette authored
- RETURNS_PROPERTY() -> OWNED_BY_1ST_ARG() - ACQUIRES_OWNERSHIP() -> OWNS_THIS_ARG() Original: 60b19e767782e5b717cb7f6842f80c7734cec365
20302610
- RETURNS_PROPERTY() -> OWNED_BY_1ST_ARG() - ACQUIRES_OWNERSHIP() -> OWNS_THIS_ARG() Original: 60b19e767782e5b717cb7f6842f80c7734cec365