FYI: The status of the jed-extra source package in Debian's testing distribution has changed. Previous version: 2.5.1-1 Current version: 2.5.3-2 -- This email is automatically generated; the Debian Release Team <debian-release@lists.debian.org> is responsible. See http://release.debian.org/testing-watch/ for more information.