On Sat 2016-07-16 12:32:54 +0200, David Bremner wrote: > I think I somewhat prefer this way of providing the same > functionality, because the control flow is simpler. If it seems > useful, we could forward remove_property with a NULL value to > remove_all_properties this looks good to me. --dkg