[CentOS] gnome-shell-extension-docker and SimpleDockerUI
Andreas Benzler
andreas at benzlerweb.de
Thu Jul 20 16:28:38 UTC 2017
Hello Guys,
developer has merged.
https://github.com/gpouilloux/gnome-shell-extension-docker/pull/16
Sincerely
Andy
More information about the CentOS
mailing list