On June 23, 2014 9:17:51 PM Davide DB <dbdavide at gmail.com> wrote: > 2014-06-23 14:38 GMT+02:00 Dirk Hohndel <dirk at hohndel.org>: > > > > > So maybe we should aim to do this for 4.2? > > > > +1 Typing on the phone. Apologies. I meant 4.3 /D