Closed teddychao closed 1 year ago
Hi @dominikbach I am sorry, I have not tested this pull request fully. We approved previously that only the pull requests with the mark "completed and waiting for review" should be approved and merged, and I had not added that marker to this pull request.
Fixes #509.
Changes proposed in this pull request: