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

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