Thanks for taking your time to report this issue and providing a patch.
I've assigned the ubuntu-reviewers team who will hopefully soon take a look at and review the patch.
Normal procedure is that patches are applied to the current development version of Ubuntu, and then possibly also for older releases. See details on the Stable Release Update procedure for more information on this https://wiki.ubuntu.com/StableReleaseUpdates.
Thanks for taking your time to report this issue and providing a patch.
I've assigned the ubuntu-reviewers team who will hopefully soon take a look at and review the patch.
Normal procedure is that patches are applied to the current development version of Ubuntu, and then possibly also for older releases. See details on the Stable Release Update procedure for more information on this https:/ /wiki.ubuntu. com/StableRelea seUpdates.