Closed pokey closed 1 year ago
Fixes https://github.com/cursorless-dev/cursorless/issues/911
Must be merged at the same time as https://github.com/cursorless-dev/cursorless/pull/973
Fixes https://github.com/cursorless-dev/cursorless/issues/911
Must be merged at the same time as https://github.com/cursorless-dev/cursorless/pull/973