On Tue, 2015-04-21 at 20:40 +0200, Petr Machata wrote:
> Mark Wielaard <mjw@redhat.com> writes:
> 
> > Fixed patch attached.
> 
> Looks good.

Thanks. Pushed to master.