util-src/managed_pointer.h
changeset 13465 c673ff1075bd
parent 12696 b001b0f42512