Closed Angluca closed 8 months ago
And merged. Thanks! I did a small coding style style correction and added a comment, but otherwise the PR did exactly what it says ;)
And merged. Thanks! I did a small coding style style correction and added a comment, but otherwise the PR did exactly what it says ;)