On Thu, Jul 24, 2014 at 5:01 PM, Ondřej Surý <ondrej at debian.org> wrote: > I have added your patch and updated Ubuntu PPAs with Ubuntu patch > level 2 (+2 at the end). Should be built and up shortly. Thank you very much for your instant action.