util-src/managed_pointer.h
changeset 12748 e894677359e5
parent 12696 b001b0f42512