util-src/managed_pointer.h
changeset 12759 a09dacf660d2
parent 12696 b001b0f42512