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

Reply via email to