Hi Matteo, Thanks for the patch, but there's also another bug fixed by 0.13.1-1 (dual notification - #855049) that is really annoying so I'd rather have the full version in the release if it's ok for you. I didn't do the debdiff yet as I'm temporary on a loaner mac for work, so I'll submit the unblock request tonight when I get my debian @home (Pacific time).
Joseph
