[DSE-Dev] Bug#823184: umount mounts /proc as a side effect

[Laurent Bigonville]

Le 21/05/16 à 21:53, Yuri D'Elia a écrit :
> On Fri, May 13 2016, Laurent Bigonville <bigon at debian.org> wrote:
>> Can you please try the patch that has been attached to the bug and tell
>> me if it's fixing your issue?
>>
>> https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=823184#44
> Sorry for the delay, but I wanted to actually give it a try before
> giving feedback.
>
> Indeed, that obviously fixes the problem.
>
> So is this actually a patch local to debian now?
Thanks for the feedback.

Yes, I cherry-picked the patch from upstream to have it immediately in 
debian, it's in unstable for a few days now.