Sort out what should happen with tickets in the "NetworkManager" product in GNOME Bugzilla
https://gitlab.freedesktop.org/NetworkManager/NetworkManager/issues exists but it's unclear if the maintainers plan to migrate tickets. Somehow.
@csoriano to create a ticket in their GL instance.
Edited by Andre Klapper