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

[Yuri D'Elia]

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?