Subject: Re: bug#61900: [PATCH] home: services: Add 'pulseaudio-rtp-sink' and 'pulseaudio-rtp-source'.
From: Ludovic Courtès <[email-masked]>
To: Andrew Tropin <[email-masked]>
Cc: [email-masked], [email-masked]
Date: Sun, 05 Mar 2023 23:20:22 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

Hi Andrew,

Pushed as 674d8933169e018efa3471e4eac52e5ea1e6afee.

Thanks for taking a look!

Ludo’.