Closed TheVinhLuong102 closed 2 years ago
Thanks! Can you also add a changelog entry for this?
Yes, David, I've added a line about this in the change log. :)
I just pushed a commit to master that should fix the CI failures. Can you please rebase both pull requests so we can try the CI again?
great, it seems all sorted out now David :)
Merged, thanks!
Labor Day achievement! :D
Thanks David.
David, Laurens,
I've found some minor wrong typing info.