diff options
| author | Drew DeVault <sir@cmpwn.com> | 2018-03-27 13:15:32 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-03-27 13:15:32 -0400 |
| commit | 1ed90541f9ded47acd5989866927becc0f451d08 (patch) | |
| tree | 5f2d16c420cd39b5a507c9da418fa851d8e335d5 /util | |
| parent | ac715969ac69ed527321cd6155addd5b62745505 (diff) | |
| parent | 171e28eaff6e3699a98b828b6430b844d54f624d (diff) | |
Merge pull request #753 from emersion/xdg-shell-unmap-destroy
xdg-shell-v6: don't destroy role resources on unmap
Diffstat (limited to 'util')
0 files changed, 0 insertions, 0 deletions