On Sat, Jun 17, 2017 at 07:23:34PM +0200, Kornel Benko wrote:

> 
> Sorry, forgot to push my previous commit. Now its out, you may commit the 
> files.

I amended your commit at a1e65ad4.

-- 
Enrico

Reply via email to