proofgeneral_3.7-4_i386.changes ACCEPTED into unstable

[Debian FTP Masters <ftpmaster@ftp-master.debian.org>]

Accepted:
proofgeneral-coq_3.7-4_all.deb
  to main/p/proofgeneral/proofgeneral-coq_3.7-4_all.deb
proofgeneral-doc_3.7-4_all.deb
  to main/p/proofgeneral/proofgeneral-doc_3.7-4_all.deb
proofgeneral-minlog_3.7-4_all.deb
  to main/p/proofgeneral/proofgeneral-minlog_3.7-4_all.deb
proofgeneral-misc_3.7-4_all.deb
  to main/p/proofgeneral/proofgeneral-misc_3.7-4_all.deb
proofgeneral_3.7-4.diff.gz
  to main/p/proofgeneral/proofgeneral_3.7-4.diff.gz
proofgeneral_3.7-4.dsc
  to main/p/proofgeneral/proofgeneral_3.7-4.dsc
proofgeneral_3.7-4_all.deb
  to main/p/proofgeneral/proofgeneral_3.7-4_all.deb


Override entries for your package:
proofgeneral-coq_3.7-4_all.deb - optional editors
proofgeneral-doc_3.7-4_all.deb - optional doc
proofgeneral-minlog_3.7-4_all.deb - optional editors
proofgeneral-misc_3.7-4_all.deb - optional editors
proofgeneral_3.7-4.dsc - source editors
proofgeneral_3.7-4_all.deb - optional editors

Announcing to debian-devel-changes@lists.debian.org
Closing bugs: 554263 592274 


Thank you for your contribution to Debian.