mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-31 16:35:28 +00:00
6c68850524
This patch adds a virtual destructor to the 'Vfs_handle' class to have subclass destructors called on 'destroy()' on a base class pointer. Fixes #305.