Pulseaudio audio capture didn't stop when paused on Debian 8 but works on Debian 9 when using the same manual SDL build. So it seems to have been an issue in pulseaudio, not SDL.
Pulseaudio audio capture didn't stop when paused on Debian 8 but works on Debian 9 when using the same manual SDL build. So it seems to have been an issue in pulseaudio, not SDL.