From c1dcaf6d0afba1185ab8b5504ef7f657c58ad2df Mon Sep 17 00:00:00 2001
From: Simon Tatham <anakin@pobox.com>
Date: Tue, 22 Apr 2014 14:33:06 +0100
Subject: [PATCH 1/1] Credits.

---
 template.html | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/template.html b/template.html
index 29d2ff5..e6154f1 100644
--- a/template.html
+++ b/template.html
@@ -481,7 +481,9 @@ the same minimum fragment and less silly other fragment lengths.)
 <h2>Credits</h2>
 
 <p>
-FIXME: credit Ian, Tom, writinghawk, Jack for deAOCisation, anyone else?
+Thanks to Ian Jackson and Tom Womack for help with the search
+software; writinghawk and Tom Womack again for upper-bound proofs;
+Jack Vickeridge for helping with the proof of rationality.
 </p>
 
 <h2>The individual dissections</h2>
-- 
2.30.2