From 4b531d142bad3c18e656d19665709b28aafaf7c9 Mon Sep 17 00:00:00 2001
From: Florian Bruhin <git@the-compiler.org>
Date: Tue, 17 Nov 2015 19:30:51 +0100
Subject: [PATCH] Regenerate authors.

---
 README.asciidoc             | 1 +
 scripts/dev/src2asciidoc.py | 1 +
 2 files changed, 2 insertions(+)

diff --git a/README.asciidoc b/README.asciidoc
index 8204391ae..e80267562 100644
--- a/README.asciidoc
+++ b/README.asciidoc
@@ -157,6 +157,7 @@ Contributors, sorted by the number of commits in descending order:
 * Jimmy
 * skinnay
 * Zach-Button
+* Halfwit
 * Felix Van der Jeugt
 * rikn00
 * Patric Schmitz
diff --git a/scripts/dev/src2asciidoc.py b/scripts/dev/src2asciidoc.py
index 3b3124d41..57257ed57 100755
--- a/scripts/dev/src2asciidoc.py
+++ b/scripts/dev/src2asciidoc.py
@@ -389,6 +389,7 @@ def _get_authors():
         'binix': 'sbinix',
         'Averrin': 'Alexey "Averrin" Nabrodov',
         'Alexey Nabrodov': 'Alexey "Averrin" Nabrodov',
+        'Michael': 'Halfwit',
     }
     commits = subprocess.check_output(['git', 'log', '--format=%aN'])
     authors = [corrections.get(author, author)