diff --git a/scripts/list_contributors.sh b/scripts/list_contributors.sh index 4b8f06d7654b..7b98a023ff6c 100755 --- a/scripts/list_contributors.sh +++ b/scripts/list_contributors.sh @@ -9,7 +9,13 @@ # that refer to the same person (diacritics vs no diacritics, name vs nickname, etc.). # # Usage: -#