[CentOS] gnome-shell-extension-docker and SimpleDockerUI

Andreas Benzler
Thu, 20 Jul 2017 16:28:38 -0000

Hello Guys,

developer has merged.

https://github.com/gpouilloux/gnome-shell-extension-docker/pull/16


Sincerely

Andy