util-src/managed_pointer.h
changeset 12786 8815d3090928
parent 12696 b001b0f42512