FYI: The status of the splint source package in Debian's testing distribution has changed. Previous version: 3.1.2.dfsg-9 Current version: 3.1.2.dfsg1-1 -- 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.