From dd2e5c124eddc06a57273cbbcefb5b95e1b9351f Mon Sep 17 00:00:00 2001
From: Henrik Levkowetz <henrik@levkowetz.com>
Date: Tue, 31 Mar 2020 10:08:56 +0000
Subject: [PATCH] Cleaned up the contributors list in bin/mkrelease a bit.  -
 Legacy-Id: 17566

---
 bin/mkrelease | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/bin/mkrelease b/bin/mkrelease
index 95fe56f1c..22bc892da 100755
--- a/bin/mkrelease
+++ b/bin/mkrelease
@@ -245,8 +245,9 @@ if [ -d ../coverage ]; then
     rsync -a static/coverage/ ../coverage/$VER/
 fi
 
-contributors=$(echo "$changes" | gawk '/^  \* Merged in \[[0-9]+\] from [^: ]+/ {sub(":",""); print $6;}' )
-note "Contributors: $contributors"
+contributors=$(echo "$changes" | gawk '/^  \* Merged in \[[0-9]+\] from [^: ]+/ {sub(":",""); print $6;}' | sort | uniq)
+note "Contributors:
+$contributors"
 
 note "Setting the current time on the release notes in the changelog file ..."
 $do sed -r -i -e "1,/^ -- /s/([A-Za-z-]+ <[a-z0-9.-]+@[a-z0-9.-]+>  ).*$/\1$(TZ=UTC date +'%d %b %Y %H:%M:%S %z')/" changelog