~mir-team/mir/development-branch

Viewing all changes in revision 3919.

Fix race in destroying_dispatcher_from_a_callback_is_an_error.

Fixes (another cause of): https://bugs.launchpad.net/mir/+bug/1647573. Fixes: https://bugs.launchpad.net/bugs/1647573.

Approved by mir-ci-bot, Cemil Azizoglu, Brandon Schaefer, Alan Griffiths.

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: