Accepted: src2tex_2.12h-7.diff.gz to pool/main/s/src2tex/src2tex_2.12h-7.diff.gz src2tex_2.12h-7.dsc to pool/main/s/src2tex/src2tex_2.12h-7.dsc src2tex_2.12h-7_i386.deb to pool/main/s/src2tex/src2tex_2.12h-7_i386.deb Announcing to debian-devel-changes@lists.debian.org Closing bugs: 284029 302985 Thank you for your contribution to Debian.