[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#9597: update
|
From: |
Eli Zaretskii |
|
Subject: |
bug#9597: update |
|
Date: |
Fri, 27 Jan 2017 11:53:32 +0200 |
> From: Dima Kogan <dima@secretsauce.net>
> Date: Wed, 25 Jan 2017 14:16:11 -0800
> Cc: 9597@debbugs.gnu.org
>
> 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.