Fix the defunct address, s/plutotech/boogie .

Submitted by:	Mike Durian <durian@boogie.com> (by private e-mail)
This commit is contained in:
Boris Samorodov 2009-08-04 16:26:33 +00:00
parent ac749126dc
commit 06a4e30292
Notes: svn2git 2020-12-08 03:00:23 +00:00
svn path=/head/; revision=34588

View file

@ -6561,7 +6561,7 @@
<listitem>
<para>Mike Durian
<email>durian@plutotech.com</email></para>
<email>durian@boogie.com</email></para>
</listitem>
<listitem>