Once this bug is fixed in the Linux package, it will never come back. So making a special case in the Update Manager for this possibility will be over-engineering.
Once this bug is fixed in the Linux package, it will never come back. So making a special case in the Update Manager for this possibility will be over-engineering.