Tools/setup/ubuntu.sh: fix for Ubuntu 20.04 - use gazebo11
Tools/setup/ubuntu.sh: fix for Ubuntu 20.04 - use gazebo11


acfloria/Firmware,PX4/Firmware,PX4/Firmware,acfloria/Firmware,krbeverx/Firmware,krbeverx/Firmware,PX4/Firmware,acfloria/Firmware,krbeverx/Firmware,PX4/Firmware,krbeverx/Firmware,acfloria/Firmware,krbeverx/Firmware,acfloria/Firmware,krbeverx/Firmware,PX4/Firmware,acfloria/Firmware,acfloria/Firmware,PX4/Firmware,krbeverx/Firmware,PX4/Firmware