[gazebo] branch patch-queue/master deleted (was 807cee8)

[Jochen Sprickerhof]

This is an automated email from the git hooks/post-receive script.

jspricke pushed a change to branch patch-queue/master
in repository gazebo.

       was  807cee8   gazebo-7.4.0-fixmoc

This change permanently discards the following revisions:

  discards  807cee8   gazebo-7.4.0-fixmoc
  discards  92c054f   Add Q_MOC_RUN to work around syntax error
  discards  c3d19a2   strlen
  discards  495f8cc   arial-font-removed-in-dfsg
  discards  a2ce899   fix-problems-on-manpage
  discards  5976875   _use_system_gtest

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/gazebo.git