tree e2211c67d0f2f9ea9cbe3714fa92c4e8f6e40a29
parent 5c11b1c871bddc00378cd008eb91d2315934344e
author Wenzel Jakob <wenzel.jakob@epfl.ch> 1541763132 +0100
committer Wenzel Jakob <wenzel.jakob@epfl.ch> 1541767596 +0100

only use over-aligned new/delete if needed