Closed pitmonticone closed 9 months ago
You're welcome @jcommelin.
Thank you and your colleagues for such an inspiring project!
Do I have to do something else for the merging?
Dear @pitmonticone, you shouldn't need to do anything else for merging. But somehow CI didn't finish testing your PR. (Of course this change shouldn't be problematic for CI.) I'll look into it asap.
You're welcome @jcommelin.
Thank you and your colleagues for such an inspiring project!
Do I have to do something else for the merging?