flapflap:
> spriver:
>> sorry, something apparently went wrong with pushing. Redid it now!
>
>> Ulrich Viefhaus:
>>> I couldn't find the branch "de_tails_25" in your repository. Are you
>>> sure it is uploaded to gitlab?
>
>
> I reviewed the proposed changes and am fine with it.
Well, actually no. I found a string that I want to fix first. Will send
the review request shortly. Sorry for the noise.
~flapflap