On Fri, May 16, 2014 at 01:36:31PM +0200, Petr Machata wrote:
> Looks good to me.

Thanks. Pushed to master.