Hello Guys, developer has merged. https://github.com/gpouilloux/gnome-shell-extension-docker/pull/16 Sincerely Andy
Thu Jul 20 16:28:38 UTC 2017
Andreas Benzler <andreas at benzlerweb.de>
Hello Guys, developer has merged. https://github.com/gpouilloux/gnome-shell-extension-docker/pull/16 Sincerely Andy