[Merge] lp:~bilalakhtar/ubuntu/maverick/skim/merge-609679 into lp:ubuntu/skim

[Stefano Rivera]

This merge looks like it'll result in no change in Ubuntu. Is it necessary?

I approve of syncs when Debian accepts our changes, but when not all the changes are accepted, and there is nothing new, what's the point?
-- 
https://code.launchpad.net/~bilalakhtar/ubuntu/maverick/skim/merge-609679/+merge/30884
Your team Ubuntu Sponsors Team is requested to review the proposed merge of lp:~bilalakhtar/ubuntu/maverick/skim/merge-609679 into lp:ubuntu/skim.