Apt install ignition-dome installs ign-gazebo3

I just wanted to upgrade my Ubuntu 18.04 to use Dome, and I noticed the following:

$ apt show ignition-dome
Package: ignition-dome
Version: 1.0.0-1~bionic
Priority: optional
Section: libdevel
Maintainer: Jose Luis Rivero <jrivero@osrfoundation.org>
Installed-Size: 13,3 kB
Depends: libignition-cmake2-dev, libignition-common3-dev, libignition-fuel-tools5-dev, libignition-gazebo3-dev, libignition-gui4-dev, libignition-launch3-dev, libignition-math6-dev, libignition-math6-eigen3-dev, libignition-msgs6-dev, libignition-plugin-dev, libignition-physics3-dev, libignition-sensors4-dev, libignition-rendering4-dev, libignition-tools-dev, libignition-transport9-dev, libsdformat10-dev

Notice libignition-gazebo3-dev. Is that right?

I’m using the OSRF repo and updated APT package cache recently:

$ apt-cache policy ignition-dome
ignition-dome:
  Installed: (none)
  Candidate: 1.0.0-1~bionic
  Version table:
     1.0.0-1~bionic 500
        500 http://packages.osrfoundation.org/gazebo/ubuntu-stable bionic/main amd64 Packages

I thought bionic might be the culprit, but no, the same would happen on focal, too.

Ouch, this was fixed in https://github.com/ignition-release/ign-dome-release/pull/1 but I think we forgot to trigger a new release.

I’ve just triggered ign-dome 1.0.0-2, you can see the status here:

Great, thanks! Would it deserve a new rebuild of SubT docker images, then?