Cache OOD decisions

[goredo.git] / doc / thanks.texi

diff --git a/doc/thanks.texi b/doc/thanks.texi
index 955bd3758488aad4e3e53f11a2687ee882a80f11..677b0547c7e37e1e135e4288e9810b874ca496af 100644 (file)
--- a/doc/thanks.texi
+++ b/doc/thanks.texi
@@ -1,4 +1,5 @@
 @node Thanks
+@cindex thanks
 @unnumbered Thanks
 
 There are people deserving to be thanked for helping this project:
@@ -8,4 +9,7 @@ There are people deserving to be thanked for helping this project:
 @item @url{mailto:hendry@@iki.fi, Kai Hendry} for his bugreports, AUR
 port, and Homebrew formula maintaining.
 
+@item @url{mailto:spacefrogg-git@@meterriblecrew.net, Michael Raitza}
+for his bugreports.
+
 @end itemize