Subject: jed bug
To: None <>
From: Jukka Marin <>
List: tech-pkg
Date: 05/30/1999 18:42:14

Don't know if this is the right place (or time), but jed 0.98-7 in the
pkg system has a bug (for more information, see[ST_rn=ps]/getdoc.xp?AN=354418972).

Could someone either fix this bug (patch can be found in the previous URL)
or upgrade jed to the current version?