[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: make-xwidget api change patch
|
From: |
joakim |
|
Subject: |
Re: make-xwidget api change patch |
|
Date: |
Wed, 30 Mar 2016 17:37:28 +0200 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/25.0.91 (gnu/linux) |
Paul Eggert <address@hidden> writes:
> I also think this change should go in. I never understood what those
> two parameters were for anyway. Some further tweaks appear to be
> needed, though; please see the attached patch.
>
>
I squashed Pauls and my commit. Should I push, or are we awaiting John?
--
Joakim Verona