[Bug c++/88114] "virtual ~destructor() = default": Destructor not created

[burnus at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88114

--- Comment #4 from Tobias Burnus <burnus at gcc dot gnu.org> ---
(In reply to Tobias Burnus from comment #3)
> Patch: https://gcc.gnu.org/ml/gcc-patches/2018-11/msg01824.html
Patch review: https://gcc.gnu.org/ml/gcc-patches/2018-12/msg00319.html

(I still plan to update my patch, but didn't manage to find time for it so
far.)