diff plugin/PluginIdentifier.h @ 1727:8efce64dd85e

Fix potential deadlock when notifying a handler that more models are [not] available
author Chris Cannam
date Thu, 20 Jun 2019 11:09:36 +0100
parents ad5f892c0c4d
children
line wrap: on
line diff