thanks a lot Robert! Tommaso
Il giorno mer 23 mar 2016 alle ore 17:18 Robert Munteanu <[email protected]> ha scritto: > On Wed, 2016-03-23 at 06:34 +0000, Tommaso Teofili wrote: > > Hi all, > > > > kind reminder: is anyone from the PMC able to push the release to > > /dist ? > > Done in r12826 > > Robert >
