For what it's worth, it's a small patch that fixes a cosmetic issue we've had for a while now - i'm all in favour of patching it in 12.04 and i think alan should go for it!
For what it's worth, it's a small patch that fixes a cosmetic issue we've had for a while now - i'm all in favour of patching it in 12.04 and i think alan should go for it!