diff options
| author | mwenzkowski <29407878+mwenzkowski@users.noreply.github.com> | 2020-10-24 17:27:38 +0200 |
|---|---|---|
| committer | Brian Ashworth <bosrsf04@gmail.com> | 2020-10-24 19:40:25 -0400 |
| commit | 13a67da614449ec95d1dc1927ed7dca6a1c54fb7 (patch) | |
| tree | d344f59144b61a383822fc09d120bf269630913f /.github/ISSUE_TEMPLATE | |
| parent | d06c1ac1e96c3a5716b6dd8e5ee443674df36020 (diff) | |
container: Fix NULL pointer dereference
Reset the workspace layout to the output's default only if the workspace
is actually attached to an output.
Fixes #5762
Diffstat (limited to '.github/ISSUE_TEMPLATE')
0 files changed, 0 insertions, 0 deletions