Sorry for asking a stupid question, but accordingly to https://bugs.freedesktop.org/show_bug.cgi?id=7154 this bug is now fixed.
When should I then expect to have my update manager pop up and install a new version?
Sorry for asking a stupid question, but accordingly to https:/ /bugs.freedeskt op.org/ show_bug. cgi?id= 7154 this bug is now fixed.
When should I then expect to have my update manager pop up and install a new version?