On 09/13/2015 04:02 AM, Georg Baum wrote:
commit acb09a3efdedc997ddbe4c174eec48cedf9f0ad7
Author: Georg Baum <b...@lyx.org>
Date:   Fri Sep 11 23:04:59 2015 +0200

     Make destructor virtual
Base classes with virtual methods should have a virtual destructor.
     See Scott Meyers, Effective C++ item 7: Declare destructors virtual in 
polymorphic base classes.

Yes, sorry, I know better.

Richard

Reply via email to