util-src/managed_pointer.h
changeset 12757 2eb02b32bb4c
parent 12696 b001b0f42512