bug#54046: closed (emacs: Remove GNOME MediaKeys support)

[GNU bug Tracking System]

Your message dated Tue, 07 Jun 2022 15:43:28 +0800
with message-id <87fskguden.fsf@yahoo.com>
and subject line Re: bug#54046: emacs: Remove GNOME MediaKeys support
has caused the debbugs.gnu.org bug report #54046,
regarding emacs: Remove GNOME MediaKeys support
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
54046: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=54046
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> emacs: Remove GNOME MediaKeys support
>
>
>
>
> Date: 
>
> Thu, 17 Feb 2022 14:05:50 -0500
>
>
>
>
> GNOME has dropped its MediaKeys plugin in its 42 Beta release. It had
> been deprecated for a while; MPRIS is the recommended replacement.
>
> org.gnome.SettingsDaemon.MediaKeys
>
> https://gitlab.gnome.org/GNOME/gnome-settings-daemon/-/merge_requests/268
>
> Thank you,
> Jeremy Bicha
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: bug#54046: emacs: Remove GNOME MediaKeys support
>
>
>
>
> Date: 
>
> Tue, 07 Jun 2022 15:43:28 +0800
>
>
>
>
> User-agent: 
>
> Gnus/5.13 (Gnus v5.13) Emacs/28.0.91 (gnu/linux)
>
>
>
>
> Stefan Kangas <stefan@marxist.se> writes:
>
> >> Thanks, then I'll update the documentation once GNOME 42 is released and
> >> close this report.
>
> > Just a reminder about this: GNOME 42 was released on March 23, 2022.
>
> Right, I forgot about that.  It will be done shortly.
>
>
> --- End Message ---