Accepted: weblint_1.93-3.diff.gz to pool/main/w/weblint/weblint_1.93-3.diff.gz weblint_1.93-3.dsc to pool/main/w/weblint/weblint_1.93-3.dsc weblint_1.93-3_all.deb to pool/main/w/weblint/weblint_1.93-3_all.deb Announcing to debian-devel-changes@lists.debian.org Thank you for your contribution to Debian.