Petr Machata wrote:
> I will push the
> patchset to official repo sometime next week.

Just happened.  Yell loud if anything got broken.

> 
> Thanks,
> PM
> 

PM