Subject: bug#9597: update

From: Eli Zaretskii <[email-masked]>
Date: Fri, 27 Jan 2017 11:53:32 +0200

> From: Dima Kogan <[email-masked]>
> Date: Wed, 25 Jan 2017 14:16:11 -0800
> Cc: [email-masked]
> 
> Can we please merge this? It fixes a long-standing and annoying bug that
> we KNOW exists, and has NO side-effects that we know about. If issues
> pop up, we can deal with them.
> 
> I can push this, just need the green light.

You have the green light, but please add some tests for this.

Thanks.