[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#5557: <left-margin> <double-wheel-down> is undefined
|
From: |
Stefan Kangas |
|
Subject: |
bug#5557: <left-margin> <double-wheel-down> is undefined |
|
Date: |
Sat, 22 Aug 2020 08:11:04 -0400 |
close 5557 28.1
thanks
Eli Zaretskii <eliz@gnu.org> writes:
> LGTM, thanks.
Thanks, pushed to master as commit 61fc4bf286. Closing.
Best regards,
Stefan Kangas
- bug#5557: <left-margin> <double-wheel-down> is undefined, (continued)
- 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