Thread
:
Gnome3: How to switch user?
View Single Post
#
5
(View Single Post)
22nd August 2020
jggimi
More noise than signal
Join Date: May 2008
Location: USA
Posts: 7,983
This particular extension is not included with the
x11/gnome/shell-extensions
port and package.
jggimi
View Public Profile
Visit jggimi's homepage!
Find all posts by jggimi