On Wed, Jun 14, 2017 at 04:55:09PM +0000, co...@sdf.org wrote:
> It might be good to mention which driver is used for the mouse.

Oops, I filed already. Can I add this information to already filed PR?

Mayuresh.

Reply via email to