From 692e4af4aabfefce380ae537e756b8c5ca493996 Mon Sep 17 00:00:00 2001
From: Paul Chote <pchote@users.noreply.github.com>
Date: Thu, 20 Nov 2014 18:18:55 +1300
Subject: [PATCH] Attribute GNU freefont in the credits. Closes #6862.

---
 AUTHORS | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/AUTHORS b/AUTHORS
index 0564a8175c..ad8e14389a 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -100,6 +100,9 @@ Also thanks to:
     * Vladimir Komarov (VrKomarov)
     * Wuschel
 
+Using GNU FreeFont distributed under the GNU GPL
+terms.
+
 Using Simple DirectMedia Layer distributed under
 the terms of the zlib license.