[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#27470: 26.0.50; this-command-keys and interactive input
From: |
Eli Zaretskii |
Subject: |
bug#27470: 26.0.50; this-command-keys and interactive input |
Date: |
Fri, 28 Jul 2017 15:41:46 +0300 |
> From: Michael Heerdegen <michael_heerdegen@web.de>
> Cc: 27470@debbugs.gnu.org
> Date: Sun, 23 Jul 2017 17:44:21 +0200
>
> Eli Zaretskii <eliz@gnu.org> writes:
>
> > Michael, any findings so far?
>
> No, everything seems to be fine.
>
> > Do you recommend that we push that change?
>
> It solves my problem, so - yes! But I can't judge whether it could
> potentially cause any trouble. Anyway, it's small and easily
> revertible, so I see no reason to hold it back.
Pushed to master.
Thanks for testing this.