Update Tony's email address in the GTK credits.

diff --git a/gtk.c b/gtk.c
index ef4bd06d5ccaf55f6970bbf5d994dc3af23e5f64..39f4c6eb846a45ee260570bf43e1968b9c246c1c 100644 (file)
--- a/gtk.c
+++ b/gtk.c
@@ -141,7 +141,7 @@ gint About_clicked(UNUSED GtkWidget *Button, UNUSED gpointer data)
         "Mike Simons <msimons@moria.simons-clan.com>",
         "Aaron Scarisbrick,",
         "Craig Milo Rogers <Rogers@ISI.EDU>",
-        "Antonio Querubin <tony@aloha.net>",
+        "Antonio Querubin <tony@lavanauts.org>",
         "Russell Nelson <rn-mtr@crynwr.com>",
         "Davin Milun <milun@acm.org>",
         "Josh Martin <jmartin@columbiaservices.net>",