Rob Hutchings

Sebastian Rahtz
Tue, 8 Sep 1998 21:20:48 +0100

I doubt whether many people on this ever met Rob Hutchings in person,
but I am sure many of you will know the work of
"", and his many contributions to the world of
font encoding, dvips etc.

I am sorry to say that Rob was killed in fatal bicycle accident a few
weeks ago.

A silent \bye seems in order.