From 06a4e302922f6f0def848212c477c6da48a74ab3 Mon Sep 17 00:00:00 2001 From: Boris Samorodov Date: Tue, 4 Aug 2009 16:26:33 +0000 Subject: [PATCH] Fix the defunct address, s/plutotech/boogie . Submitted by: Mike Durian (by private e-mail) --- en_US.ISO8859-1/articles/contributors/contrib.additional.sgml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/en_US.ISO8859-1/articles/contributors/contrib.additional.sgml b/en_US.ISO8859-1/articles/contributors/contrib.additional.sgml index da82c77471..0a47e93abd 100644 --- a/en_US.ISO8859-1/articles/contributors/contrib.additional.sgml +++ b/en_US.ISO8859-1/articles/contributors/contrib.additional.sgml @@ -6561,7 +6561,7 @@ Mike Durian - durian@plutotech.com + durian@boogie.com