@Micheal_2009: thanks for your contribution. The bug isn't fixed, though: it's only fixed when it'll be distributed through the normal updates of Ubuntu. So I hope that your proposed fix will be good enough for approval by the developers.
@Micheal_2009: thanks for your contribution. The bug isn't fixed, though: it's only fixed when it'll be distributed through the normal updates of Ubuntu. So I hope that your proposed fix will be good enough for approval by the developers.