Closed jmay closed 6 months ago
I think that with this change, both of the other two PRs can be closed. @bastibe @TPKato
As it was broken for me too, at least until now :-) I will be happy to (review and) test it as well.
Looks good to me! Thank you @jmay and @TPKato.
I think that with this change, both of the other two PRs can be closed. @bastibe @TPKato