Hi, I am not getting gnome-shell-extension-media-player-indicator-0-0.24.20190419git65867e7.fc30 to work on Fedora 30, although support for gnome-3.32 [1] is given. The maintainer of the program noted in the README.md that "THIS EXTENSION HAS BEEN RETIRED". Has anyone still managed to get the program running under F30? [1] https://github.com/JasonLG1979/gnome-shell-extensions-mediaplayer/ [2] https://github.com/JasonLG1979/gnome-shell-extensions-mediaplayer/commit/65867e7447dd3f4e3f118c0c76922f7d729f87dd Regards Martin _______________________________________________ devel mailing list -- devel@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to devel-leave@xxxxxxxxxxxxxxxxxxxxxxx Fedora Code of Conduct: https://getfedora.org/code-of-conduct.html List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines List Archives: https://lists.fedoraproject.org/archives/list/devel@xxxxxxxxxxxxxxxxxxxxxxx
