util-src/managed_pointer.h
changeset 13470 5d9ec2e55d74
parent 12696 b001b0f42512