-
Beniamino Galvani authored
When dispose() is called, there can't be any pending operation because they keep a reference to the device. Instead, there can be a a queued operation not yet executed. Destroy it. (cherry picked from commit 6fcb077a)
01997b25