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