> From: Jari Kokko <jkokko@cc.hut.fi>
> Date: Mon, 13 May 1996 00:23:43 +0300

> Hi,
> 
> All of bugid's port-sun3/2398, port-sun3/2399, port-sun3/2400 are
> bogus: I did a 'sup -a' and the 'bugs' went away.

Thanks.  I was wondering about the "deja vu" (deja fixed?)
I'll mark them all closed.  Too bad I don't get paid for
the number of closed bugs!  (Tee hee 8^)

> What is funny is that I don't have the slightest clue as to why my
> source tree was not up-to-date. I am behind a firewall and therefore
> sup to a friend's machine, tar the tree up, download and untar.

There was a period of time recently when the CVS tree was not
correctly migrating over to the SUP server.  Maybe that's why...

Gordon