Processing of gnome-tetravex_3.20.0-1_amd64.changes

Fri May 13 14:03:39 UTC 2016

gnome-tetravex_3.20.0-1_amd64.changes uploaded successfully to localhost
along with the files:
  gnome-tetravex_3.20.0-1.dsc
  gnome-tetravex_3.20.0.orig.tar.xz
  gnome-tetravex_3.20.0-1.debian.tar.xz
  gnome-tetravex-dbgsym_3.20.0-1_amd64.deb
  gnome-tetravex_3.20.0-1_amd64.deb

Greetings,

	Your Debian queue daemon (running on host franck.debian.org)