diff options
| author | Paul Davis <paul@linuxaudiosystems.com> | 2019-11-08 16:56:59 -0700 |
|---|---|---|
| committer | Paul Davis <paul@linuxaudiosystems.com> | 2019-11-08 16:57:11 -0700 |
| commit | 3cecc3d26bb746aa8b2e6d22811e936e8925d61a (patch) | |
| tree | eeef52ca8edac14000bc29ecc0338a4f7f7847ac /gtk2_ardour/public_editor.h | |
| parent | 9b0ffbfb94c232cbeffe9d9cc94763dd8f62205b (diff) | |
fix crash if Splash::pop_back_for() is called without splash on-screen
Diffstat (limited to 'gtk2_ardour/public_editor.h')
0 files changed, 0 insertions, 0 deletions