diff --git a/scripts/tools/fix-header.py b/scripts/tools/fix-header.py index 087e07d91..06ed7872e 100755 --- a/scripts/tools/fix-header.py +++ b/scripts/tools/fix-header.py @@ -43,6 +43,7 @@ logging.basicConfig( ALIASES = { 'abhi-ohri': 'Abhinav Ohri', 'Antonio Larrosa ': 'Antonio Larrosa', + 'bob': 'Bob Swift', 'Lukas Lalinsky ': 'Lukáš Lalinský', 'petitminion': 'Petit Minion', 'Philipp Wolfer ': 'Philipp Wolfer',