-
GILLES Sebastien authored
#952 Fix singleton destruction: use now default destructor and foresee the eventual destruction of the object with atexit. Also use a raw pointer rather than a unique_ptr one, which was overkill in this very specific case.
559fe973