On 2020-03-11 09:52 +01, martin rudalics <rudalics@gmx.at> wrote:
> ‘mouse-wheel-flip-direction’ ~> `mouse-wheel-flip-direction'

Done, patch attached.

Cheers,

        -gk.