Processing commands for control@bugs.debian.org: > forwarded 396322 http://www.latex-project.org/cgi-bin/ltxbugs2html?pr=amslatex%2F3896 Bug#396322: Possible to revert changes in amsthm.sty? Noted your statement that Bug has been forwarded to http://www.latex-project.org/cgi-bin/ltxbugs2html?pr=amslatex%2F3896. > stop Stopping processing here. Please contact me if you need assistance. Debian bug tracking system administrator (administrator, Debian Bugs database)