Hi, on Thu, 19 Jul 2012 07:51:16 +0100, Paul <claws at thewildbeast.co.uk> wrote: >On Wed, 18 Jul 2012 11:56:50 +0200 >Roman Brusa <r.brusa at gmx.ch> wrote: > >> Do we get this also in the PPA for Ubuntu? > >At some point, yes. Thank you Paul. No hurry from here... Roman -- We have to create the future, or others will do it for us. - Gen. S. Ivanova