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

From: Stefan Kangas <[email-masked]>
Date: Sat, 22 Aug 2020 08:11:04 -0400

close 5557 28.1
thanks

Eli Zaretskii <[email-masked]> writes:

> LGTM, thanks.

Thanks, pushed to master as commit 61fc4bf286.  Closing.

Best regards,
Stefan Kangas