diff options
| author | Jef <54236+ElJeffe@users.noreply.github.com> | 2022-11-15 11:18:04 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-11-15 10:18:04 +0000 |
| commit | 4034aa2c60d7ed88cb64e7c36f42ec388c28cfb2 (patch) | |
| tree | 002a4cf9b4488babd851d3215cf82e0ee848d4fb /src/Window.cpp | |
| parent | fcb5037a1d22d05d9f58b8a43d75b1870d93b896 (diff) | |
possible crash when current workspace does not exist (#1023)
Co-authored-by: Jef Steelant <jef.steelant_ext@softathome.com>
Diffstat (limited to 'src/Window.cpp')
0 files changed, 0 insertions, 0 deletions