[pulseaudio-commits] [Git][pulseaudio/pulseaudio] Deleted branch marge_bot_batch_merge_job

[Arun Raghavan]

Arun Raghavan deleted branch marge_bot_batch_merge_job at PulseAudio / pulseaudio

-- 

You're receiving this email because of your account on gitlab.freedesktop.org.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.freedesktop.org/archives/pulseaudio-commits/attachments/20201210/3bf7c7a4/attachment.htm>