Closed no-one closed 2 months ago
@no-one can you please rebase? We'll take a look then.
@nichtmax Sorry, I thought it was possible this way via github.com but that resulted in a merge instead of rebase. I can't fix it at the moment.
@nichtmax Sorry, I thought it was possible this way via github.com but that resulted in a merge instead of rebase. I can't fix it at the moment.
That's exactly what we needed, CI is happy now, thanks!
@no-one Can you please give us an e-mail address where we can send you a voucher for our fantastic goodies? You are welcome to send it to hallo@uberspace.de with a small reference to this thread.
Fixes #1742
/cc @kimdiallo