Naming Baby Doe

[ramsdell@linus.mitre.org]

Voting for the name of Baby Doe ends this week.  If you have not voted
already please do so.  I have received votes from the following
people:

From: "Stewart M. Clamen" <clamen@CS.CMU.EDU>
From: Alan Bawden <bawden@parc.xerox.com>
From: Bruce Duba <duba@rice.edu>
From: Chris Haynes <chaynes@iuvax.cs.indiana.edu>
From: Evan Kirshenbaum <evan%hplerk@hplabs.hp.com>
From: Gyro@reasoning.com
From: Kent M Pitman <KMP@STONY-BROOK.SCRC.Symbolics.COM>
From: Mark A. Sheldon <death@ZERMATT.LCS.MIT.EDU>
From: Pavel.pa@Xerox.COM
From: Robert Hieb <hieb@iuvax.cs.indiana.edu>
From: cadence!dyb@iuvax.cs.indiana.edu (R. Kent Dybvig)
From: cph@zurich.ai.mit.edu (Chris Hanson)
From: halstead@crl.dec.com
From: jar@zurich.ai.mit.edu (Jonathan Rees)
From: jinx@zurich.ai.mit.edu (Guillermo J. Rozas)
From: kend%mrloog.wr.tek.com@RELAY.CS.NET
From: markf@zurich.ai.mit.edu
From: mkatz@garlic.stanford.edu (Morris Katz)

John