contrithanks.sh: use -F with -v to match lines as strings

Makes names involving [brackets] work.

diff --git a/scripts/contrithanks.sh b/scripts/contrithanks.sh
index f60961762c8cd1ca8796a0841a93a7a91196f12d..2afc30c24406f46779f0490649c808789a381722 100755 (executable)
--- a/scripts/contrithanks.sh
+++ b/scripts/contrithanks.sh
@@ -70,4 +70,4 @@ cat ./docs/THANKS
 } | \
 sed -f ./docs/THANKS-filter | \
 sort -fu | \
-grep -aixvf ./docs/THANKS
+grep -aixvFf ./docs/THANKS