[Pkg-rust-maintainers] Processing of rust-proptest-state-machine_0.4.0-1_amd64.changes

[Debian FTP Masters]

rust-proptest-state-machine_0.4.0-1_amd64.changes uploaded successfully to localhost
along with the files:
  librust-proptest-state-machine+std-dev_0.4.0-1_amd64.deb
  librust-proptest-state-machine-dev_0.4.0-1_amd64.deb
  rust-proptest-state-machine_0.4.0-1_amd64.buildinfo
  rust-proptest-state-machine_0.4.0-1.dsc
  rust-proptest-state-machine_0.4.0.orig.tar.gz
  rust-proptest-state-machine_0.4.0-1.debian.tar.xz

Greetings,

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