> > configuration cannot be tested without commiting to github so it is > > possible that a new iteration would be needed. > > > > Peter is Coverity admin, I do not know who is github admin of pulseaudio. > > I'm the Github admin. I've requested access for Coverity admin stuff > so I can get the token etc. granted p. -- Peter Meerwald +43-664-2444418 (mobile)