Hello Guys, developer has merged. https://github.com/gpouilloux/gnome-shell-extension-docker/pull/16 Sincerely Andy _______________________________________________ CentOS mailing list CentOS@xxxxxxxxxx https://lists.centos.org/mailman/listinfo/centos