[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

bug#5557: <left-margin> <double-wheel-down> is undefined

From: Eli Zaretskii
Subject: bug#5557: <left-margin> <double-wheel-down> is undefined
Date: Sat, 22 Aug 2020 14:59:40 +0300

> From: Stefan Kangas <stefan@marxist.se>
> Date: Sat, 22 Aug 2020 07:48:31 -0400
> Cc: rudalics@gmx.at, larsi@gnus.org, 5557@debbugs.gnu.org, 
>       lennart.borgman@gmail.com
> Thanks for the review.  Fixed your comments in the attached patch.

LGTM, thanks.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]