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

[Yuri D'Elia]

On Sat, May 21 2016, Laurent Bigonville <bigon at debian.org> wrote:
> Le 21/05/16 à 21:53, Yuri D'Elia a écrit :
>> 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.

I noticed right after your reply, but couldn't get to it right away.
Thanks a lot for this.

I do believe this is the _right_ approach.