On Fri, Sep 12, 2003 at 12:46:11PM -0700, Jeremy C. Reed wrote:
> I had asked about package revision on the tech-pkg list, and Thomas
> compared the source and said it was the same and said to not to bump the
> revision.

Well, the distribution file changed which changes the user experience
somewhat. But I must admit that I just didn't really check and only
bumped the revision to play it safe.

> (I had provided patch for all this, so I removed that PKGREVISION.)

I didn't see your patch. I only realized saw (the subject of) your PR and
realized that I forgotten to update the "pico" package.

	Kind regards

-- 
Matthias Scheler                                  http://scheler.de/~matthias/