Pull requests: ddterm/gnome-shell-extension-ddterm

Pull requests list

#1537 opened Oct 9, 2025 by renovate bot

1 task

#1535 opened Oct 8, 2025 by amezin • Draft

#1517 opened Sep 26, 2025 by amezin • Draft

#1514 opened Sep 26, 2025 by amezin

#1338 opened Jun 13, 2025 by amezin • Draft

#1209 opened Feb 25, 2025 by amezin

#1102 opened Nov 9, 2024 by amezin

#1056 opened Sep 29, 2024 by amezin

#889 opened Apr 15, 2024 by martinn • Draft

ProTip! Find all pull requests that aren't related to any open issues with -linked:issue.