-
GILLES Sebastien authored
#739 Solve the memory issue with gcc: destroy manually the singletons so that there is no problem when it's done automatically. #740 has been assigned to periodically check whether the likely gcc issue has been lifted.
6ef006b5