+ workaround for "error: overriding `virtual std::invalid_argument::~invalid_argument() throw ()'" under g++-5.4.0 / ubuntu 16.04.6
Authored by: mukau 2020-02-14
Parent: [r1434]
Child: [r1436]