GNU bug report logs - #73239
[PATCH v1 0/2] Fix shortcut key issue with xfce4-pulseaudio-plugin

Previous Next

Full log

View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: Ashvith Shetty <ashvithshetty10 <at> gmail.com>
Cc: tracker <at> debbugs.gnu.org
Subject: bug#73239: closed ([PATCH v1 0/2] Fix shortcut key issue with
 xfce4-pulseaudio-plugin)
Date: Thu, 05 Dec 2024 19:37:02 +0000

[Message part 1 (text/plain, inline)]

Your message dated Fri, 06 Dec 2024 01:04:29 +0530
with message-id <H1D1OS.4YPR0KV63O2V1 <at> gmail.com>
and subject line Re: [PATCH v1 0/2] Fix shortcut key issue with xfce4-pulseaudio-plugin
has caused the debbugs.gnu.org bug report #73239,
regarding [PATCH v1 0/2] Fix shortcut key issue with xfce4-pulseaudio-plugin
to be marked as done.

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


-- 
73239: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=73239
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems

[Message part 2 (message/rfc822, inline)]

From: Ashvith Shetty <ashvithshetty10 <at> gmail.com>
To: guix-patches <at> gnu.org
Cc: Ashvith Shetty <ashvithshetty10 <at> gmail.com>
Subject: [PATCH v1 0/2] Fix shortcut key issue with xfce4-pulseaudio-plugin
Date: Sat, 14 Sep 2024 03:26:23 +0530

This patch series resolves the issue with media key while using xfce4-pulseaudio-plugin.
Since the media keys work fine now, there's no need to provide xfce4-volumed-pulse as
another input for the xfce metapackage.

Ashvith Shetty (2):
  gnu: xfce4-pulseaudio-plugin: Add inputs "keybinder" and "pavucontrol"
  gnu: xfce: Remove input "xfce4-volumed-pulse"

 gnu/packages/xfce.scm | 108 +++++++++++++++++++++---------------------
 1 file changed, 55 insertions(+), 53 deletions(-)

-- 
2.46.0

[Message part 3 (message/rfc822, inline)]

From: Ashvith Shetty <ashvithshetty10 <at> gmail.com>
To: 73239-done <at> debbugs.gnu.org
Cc: Ashvith Shetty <ashvithshetty10 <at> gmail.com>
Subject: Re: [PATCH v1 0/2] Fix shortcut key issue with xfce4-pulseaudio-plugin
Date: Fri, 06 Dec 2024 01:04:29 +0530

Patch has been applied.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.