On 08/02/2016 04:42 PM, Jaromír Mikeš wrote:
> Hi Felipe,
>
> I hope this is correct fix.
> It should be according bug description.
> https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=833271
> IOhannes can you comment on this please?
in theory i agree with felipe.
in practice there might be more
2016-08-02 15:39 GMT+02:00 Felipe Sateler :
> On 2 August 2016 at 07:43, wrote:
>> The following commit has been merged in the master branch:
>> commit e34c103bad0f3ab33e7c6dd578cd061d6f4a57b1
>> Author: Jaromír Mikeš
>> Date: Tue Aug 2 13:37:36 2016 +0200
>>
>> Add libpulse-dev to deps of
On 2 August 2016 at 07:43, wrote:
> The following commit has been merged in the master branch:
> commit e34c103bad0f3ab33e7c6dd578cd061d6f4a57b1
> Author: Jaromír Mikeš
> Date: Tue Aug 2 13:37:36 2016 +0200
>
> Add libpulse-dev to deps of -dev package. (Closes: #833271)
Is this the corr
