I just checked: the tooltip is now correct. I should have waited more than 5 minutes :-) I'll dist-upgrade and see if the tooltip is updated when there's no update.
I just checked: the tooltip is now correct. I should have waited more than 5
minutes :-)
I'll dist-upgrade and see if the tooltip is updated when there's no update.