-
Notifications
You must be signed in to change notification settings - Fork 28
Pull requests: ddterm/gnome-shell-extension-ddterm
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
improve session file handling and session restore error handling
#1198
opened Feb 15, 2025 by
samuelba
ProTip!
Filter pull requests by the default branch with base:master.