Oops! I meant to say that the problem in _Update Manager_ is fixed too! :) Already made a note of it under that bug report.
Oops! I meant to say that the problem in _Update Manager_ is fixed too! :) Already made a note of it under that bug report.