From d7660a292ded8dec37bdb9642c9479d5eba2d9b1 Mon Sep 17 00:00:00 2001
From: Holger Levsen <holger@layer-acht.org>
Date: Tue, 5 Jan 2016 22:28:53 +0100
Subject: ignore case when sorting list of contributors

---
 update_jdn.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/update_jdn.sh b/update_jdn.sh
index f6e323a9..e7dff64c 100755
--- a/update_jdn.sh
+++ b/update_jdn.sh
@@ -421,7 +421,7 @@ explain "scripts and configurations for jenkins updated."
 
 if [ "$HOSTNAME" = "jenkins" ] ; then
 	sudo cp -pr README INSTALL TODO CONTRIBUTING d-i-preseed-cfgs /var/lib/jenkins/userContent/
-	git log | grep ^Author| cut -d " " -f2-|sort -u > $TMPFILE
+	git log | grep ^Author| cut -d " " -f2-|sort -u -f > $TMPFILE
 	echo "----" >> $TMPFILE
 	sudo tee /var/lib/jenkins/userContent/THANKS > /dev/null < THANKS.head
 	# samuel, lunar and josch committed with several commiters, only display one
-- 
cgit v1.2.3-70-g09d2