Comment 16 for bug 1870833

Revision history for this message
John Gilmore (gnu-gilmore) wrote :

OK, that's bug #1873630.

We don't actually know that this current crasher bug is correctly solved by the above patch, since pulseaudio is not yet working. Perhaps the new bug was there all along, but perhaps it was introduced by this patch being an incomplete fix.