Event Timeline
Comment Actions
[34fbf6]: Merge branch 'bug-17200-shell-close-veto-ignored'
Merged commits:
2014-02-13 17:35:55 Sascha Zelzer [d1e8e3]
Ask advisors when closing a window and respect their veto.