Skip to content

remotedesktop - remove gnome-shell-extensions which seem to be removed#2499

Merged
enoch85 merged 2 commits intomasterfrom
enh/noid/remove-some-extensions
May 28, 2023
Merged

remotedesktop - remove gnome-shell-extensions which seem to be removed#2499
enoch85 merged 2 commits intomasterfrom
enh/noid/remove-some-extensions

Commits

Commits on May 27, 2023

Commits on May 28, 2023