[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.
- bug#5557: <left-margin> <double-wheel-down> is undefined, (continued)
- bug#5557: <left-margin> <double-wheel-down> is undefined, Stefan Kangas, 2020/08/14
- bug#5557: <left-margin> <double-wheel-down> is undefined, Eli Zaretskii, 2020/08/14
- bug#5557: <left-margin> <double-wheel-down> is undefined, Stefan Kangas, 2020/08/14
- bug#5557: <left-margin> <double-wheel-down> is undefined, Eli Zaretskii, 2020/08/15
- bug#5557: <left-margin> <double-wheel-down> is undefined, Stefan Kangas, 2020/08/16
- bug#5557: <left-margin> <double-wheel-down> is undefined, Eli Zaretskii, 2020/08/16
- bug#5557: <left-margin> <double-wheel-down> is undefined, Stefan Kangas, 2020/08/16
bug#5557: <left-margin> <double-wheel-down> is undefined, Stefan Kangas, 2020/08/17