[PATCH 1/3] mailmap: add user

[Thomas Monjalon]

12/08/2025 04:33, Pravin M Bathija:
> add new user to mailmap
> 
> Signed-off-by: Pravin M Bathija <pravin.bathija at dell.com>

This patch can be squashed with the next one.

> --- a/.mailmap
> +++ b/.mailmap
> +Pravin M Bathija <pravin.bathija at dell.com> <pravin.m.bathija.dev at gmail.com>

If you intend to use the first address for your contributions,
no need to fill the gmail one here.
We try to keep only a single address if possible.