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

[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  ef36b00   Do not build 3rd-party dependencies.

This change permanently discards the following revisions:

  discards  ef36b00   Do not build 3rd-party dependencies.
  discards  67478be   In cmake/setup.sh do not override already defined environment variables.
  discards  46bf763   Do not force compilation flags.

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