Skip to content

pagination-hotkey - Drop feature#8758

Merged
fregante merged 1 commit intomainfrom
pagination-hotkey
Jan 3, 2026
Merged

pagination-hotkey - Drop feature#8758
fregante merged 1 commit intomainfrom
pagination-hotkey

Conversation

@fregante
Copy link
Member

Part of #7808

This shortcut is not very natural and most likely not used by m/any

@fregante fregante merged commit 560ce1d into main Jan 3, 2026
11 checks passed
@FloEdelmann FloEdelmann deleted the pagination-hotkey branch January 7, 2026 13:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Development

Successfully merging this pull request may close these issues.

1 participant