Skip to content

Adjust to shell changes

Bring extensions back on track after major window picker changes.

Merge request reports