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
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