This is a relatively minor bug with a straightforward workaround, so it has not been backported to saucy, which in any case only has a 9-month life. It is fixed in trusty. If you really want the fix, you can install it.
As the original reporter, I'm happy that the bug was quickly found and fixed, and I'm quite content with the workaround I found until Trusty is released. I'd rather the Ubuntu devs were doing other things than backporting this fix to saucy.
It's straightforward to install packages from another distribution or release with updates. See https:/ /wiki.debian. org/AptPreferen ces
This is a relatively minor bug with a straightforward workaround, so it has not been backported to saucy, which in any case only has a 9-month life. It is fixed in trusty. If you really want the fix, you can install it.
As the original reporter, I'm happy that the bug was quickly found and fixed, and I'm quite content with the workaround I found until Trusty is released. I'd rather the Ubuntu devs were doing other things than backporting this fix to saucy.