diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2018-07-16 17:12:49 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2018-07-16 17:14:39 +0200 |
| commit | 8bbb79cf95a07a40950448a8a09d888254404ed4 (patch) | |
| tree | e86292e1a4f359c2b5ab4e457e41665dd9d5735c /THANKS | |
| parent | d3095f34a3bf7242c01c1f17b14a7230c0ebe0ef (diff) | |
mailmap: Add a line for Pierre-Antoine.
* .mailmap: Add entry for Pierre-Antoine.
Diffstat (limited to 'THANKS')
0 files changed, 0 insertions, 0 deletions