On 24 Jan 2019 Ansgar wrote: > FWIW I just changed the priority of both netplan.io and reportbug-gtk to > "optional". Are you saying #903712 can be closed now?