20 Jul
2017
20 Jul
'17
6:28 p.m.
Hello Guys,
developer has merged.
https://github.com/gpouilloux/gnome-shell-extension-docker/pull/16
Sincerely
Andy