]> gcc.gnu.org Git - gcc.git/commitdiff
MAINTAINERS file: Replace spaces with tabs
authorMartin Jambor <mjambor@suse.cz>
Mon, 29 May 2023 09:51:28 +0000 (11:51 +0200)
committerMartin Jambor <mjambor@suse.cz>
Mon, 29 May 2023 09:51:28 +0000 (11:51 +0200)
This change, separating Benjamin's name and email address with tabs
rather than spaces, makes contrib/check-MAINTAINERS.py script happy
about our MAINTAINERS file again.

ChangeLog:

2023-05-29  Martin Jambor  <mjambor@suse.cz>

* MAINTAINERS: Replace spaces with tabs.

MAINTAINERS

index b1d174af280343339aee9b5a98a7bf4350930925..2dc5115444681a8919fa69bcaf69c96eced8bf79 100644 (file)
@@ -600,7 +600,7 @@ Antoniu Pop                                 <antoniu.pop@gmail.com>
 Siddhesh Poyarekar                             <siddhesh@gotplt.org>
 Vidya Praveen                                  <vidyapraveen@arm.com>
 Thomas Preud'homme                             <thomas.preudhomme@celest.fr>
-Benjamin Priour                 <priour.be@gmail.com>
+Benjamin Priour                                        <priour.be@gmail.com>
 Vladimir Prus                                  <vladimir@codesourcery.com>
 Hafiz Abid Qadeer                              <abidh@codesourcery.com>
 Yao Qi                                         <yao@codesourcery.com>
This page took 0.060573 seconds and 5 git commands to generate.