AUTHORS: Fix duplicate author

bwbarrett · bwbarrett · commit ce5d507901f1 · 2022-10-13T02:34:17.000Z
George Katevenis had two names in git logs.  Add a mailmap entry
to force use of his full name.

Signed-off-by: Brian Barrett &lt;bbarrett@amazon.com&gt;
diff --git a/.mailmap b/.mailmap
@@ -130,3 +130,5 @@ Samuel K. Gutierrez <samuel@lanl.gov> <samuel@lanl.gov>
 Tomislav Janjusic <tomislavj@nvidia.com> Tomislavj Janjusic <tomislavj@nvidia.com>
 
 William P. LePera <lepera@us.ibm.com>
+
+George Katevenis <gkatev@ics.forth.gr>

-Original file line number
+Diff line change
 Tomislav Janjusic <[email protected]> Tomislavj Janjusic <[email protected]>
 William P. LePera <[email protected]>
++
 +George Katevenis <[email protected]>