From 998062af6d715dd47fdc6f96f1588289e86c5a9b Mon Sep 17 00:00:00 2001 From: Sergey Matveev Date: Tue, 12 Jan 2021 21:36:57 +0300 Subject: [PATCH] Fix THANKS generation --- makedist.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/makedist.sh b/makedist.sh index 0e9ec01..ac2b837 100755 --- a/makedist.sh +++ b/makedist.sh @@ -53,7 +53,7 @@ cat > $texi <