Accepted jed-extra 0.1.6 (all source)

[Rafael Laboissiere <rafael@debian.org>]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.7
Date: Tue, 23 Sep 2003 18:35:50 +0200
Source: jed-extra
Binary: jed-extra
Architecture: source all
Version: 0.1.6
Distribution: unstable
Urgency: low
Maintainer: Rafael Laboissiere <rafael@debian.org>
Changed-By: Rafael Laboissiere <rafael@debian.org>
Description: 
 jed-extra  - Collection of useful JED modes and utilities
Closes: 212387
Changes: 
 jed-extra (0.1.6) unstable; urgency=low
 .
   * patch/03-fix-home-jedrc.patch: Added patch to allow sane
     initialization of Jed_Home_Directory when $HOME/.jed exists.  Thanks
     to Jörg Sommer <joerg@alea.gnuu.de> (closes: #212387).
Files: 
 1eddf523f43e0e1d84d6075aed53655c 526 editors optional jed-extra_0.1.6.dsc
 8ec12e985b441f417d6f481b3a65a35e 28871 editors optional jed-extra_0.1.6.tar.gz
 b4f7ce4ef9dd2be2556c0a8361812bb7 35678 editors optional jed-extra_0.1.6_all.deb

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.3 (GNU/Linux)

iD8DBQE/cHcFk3oga0pdcv4RAjm1AJ9MwqtoDiTzF33FY9Q0Y7OGrknqowCggPiq
CxDRmmtOA9e6HtF6F7y8bcI=
=Bvc0
-----END PGP SIGNATURE-----


Accepted:
jed-extra_0.1.6.dsc
  to pool/main/j/jed-extra/jed-extra_0.1.6.dsc
jed-extra_0.1.6.tar.gz
  to pool/main/j/jed-extra/jed-extra_0.1.6.tar.gz
jed-extra_0.1.6_all.deb
  to pool/main/j/jed-extra/jed-extra_0.1.6_all.deb