DEVELOPERS: change Vivien Didelot e-mail address
authorVivien Didelot <vivien.didelot@gmail.com>
Thu, 19 Sep 2019 16:53:31 +0000 (12:53 -0400)
committerThomas Petazzoni <thomas.petazzoni@bootlin.com>
Thu, 19 Sep 2019 19:28:51 +0000 (21:28 +0200)
commit916497d7d5e2090d99317b0b3982fffa671a831c
treea20a8f8564005d51233a9de547ab3262b5080011
parentfd7f37606da21808956a23de80c43345d71fc437
DEVELOPERS: change Vivien Didelot e-mail address

I am exclusively using my Gmail address for now on. Reflect this in
the DEVELOPERS file.

Signed-off-by: Vivien Didelot <vivien.didelot@gmail.com>
Signed-off-by: Thomas Petazzoni <thomas.petazzoni@bootlin.com>
DEVELOPERS