Vincenzo, that's great news, but it still counts as a paper cut fixed for Karmic, even if the fix happened upstream!
Vincenzo, that's great news, but it still counts as a paper cut fixed for Karmic, even if the fix happened upstream!