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