Bug#712861: patch doesn't work

[Zack Weinberg]

On Thu, Jun 20, 2013 at 12:30 PM, Emilio Pozuelo Monfort
<pochu at debian.org> wrote:
>
> The patch here is not what was uploaded to the archive. What was uploaded
> actually works as opposed to my patch in this bug.

I hope you will understand my impatience in the face of a
nonfunctional desktop environment. :)

3.4.2-9 is still not visible in the archive for me.  I will check
again on Monday.