On Wed, 18 Dec 2019 10:22:27 +0100
Jonathan Brielmaier <jonathan.brielmaier@web.de> wrote:

> On 17.12.19 23:32, Björn Höfling wrote:
> > Thanks for your review and further information, pushed as
> >
> > 356a79becc4061d158c68718ad169abac1ab672f
> >
> > Closing this ticket.  
> 
> I guess the "origin//" in the comment should be "origin/" :)

Hi Jonathan,

thanks for that hint, fixed in:

6afea7489b76c8db58d4f389fdbedc7c2b8992bd

Björn