jon postel

[Randy Bush]

25 years ago, jon postel died.  we stand on the shoulders of jon and
others, a number of whom died in october.  not a cheering month for
old timers.

randy