diff options
author | Drew DeVault <sir@cmpwn.com> | 2018-11-12 16:15:36 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-11-12 16:15:36 -0500 |
commit | 4aff85cc8e6f90e60522a7a830424e41a6f06b77 (patch) | |
tree | f9c3ca3f6dd0cc8a20ced7a9def4f7ab2d32f245 /include/backend/drm/properties.h | |
parent | 77dfac4fa4082ce95fc9769861e0b971754b6a66 (diff) | |
parent | 95dfbe2962ff6f30d02143f00b037baa6b812d06 (diff) |
Merge pull request #1373 from emersion/fix-teardown-segfaults
xdg-shell: don't destroy xdg role state on role destroy
Diffstat (limited to 'include/backend/drm/properties.h')
0 files changed, 0 insertions, 0 deletions