Ubuntu
update-manager package

  1. Bug #80713
  2. Comment #9

Comment 9 for bug 80713

Revision history for this message
Michael Vogt (mvo) wrote :

Thanks for your bugreport.

I added a workaround for this problem to my local tree and it will be part of the next upload.