This is an automated email from the git hooks/post-receive script. It was
generated because of a push to the "PulseAudio Sound Server" repository.
The timing branch has been deleted
was e6f7241dd20696f7a58d711c8f733df51cc5f4e4
-----------------------------------------------------------------------
e6f7241dd20696f7a58d711c8f733df51cc5f4e4 make timing stuff more elaborate
-----------------------------------------------------------------------
--
hooks/post-receive
PulseAudio Sound Server
_______________________________________________
pulseaudio-commits mailing list
[email protected]
https://tango.0pointer.de/mailman/listinfo/pulseaudio-commits
