mark memory_resource dtor as default to enable constant destruction of memory_resource - #1314
Merged
Stephan T. Lavavej (StephanTLavavej) merged 1 commit intoSep 23, 2020