Re: [PATCH 1/1] Add WMI driver for Redmibook keyboard.

[Nikita Krasnov]

On Tue, Jul 29, 2025 at 12:47:57AM +0300 Armin Wolf wrote:
> "Say Y here if you want support for WMI-based hotkey events on Xiaomi Redmi devices."

I think it should be "Xiaomi Redmibook" instead. "Xiaomi Redmi" is
associated with mobiles devices. See Google Images for example of this:
[1] and [2].

[1]: https://www.google.com/search?q=xiaomi+redmi&udm=2
[2]: https://www.google.com/search?q=xiaomi+redmibook&udm=2

-- 
Nikita Krasnov

Attachment: OpenPGP_signature.asc
Description: OpenPGP digital signature