Update mailmap

Authored by hvr on Dec 16 2013, 10:18 AM.

Description

Update mailmap

Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>

Details

Committed
hvrJan 11 2014, 4:21 AM
Pushed
bgamariAug 25 2016, 1:39 PM
Parents
rGHCDIFF566ba6fa10ad: Fix #8599.
Branches
Unknown
Tags
Unknown