On 05/04/2023 10.45, Nico Boehr wrote:
Hi Paolo and/or Thomas, so, here's the <del>second</del><ins>third</ins> try of the first pull request from me :)
Thanks, merged now! Thomas
On 05/04/2023 10.45, Nico Boehr wrote:
Hi Paolo and/or Thomas, so, here's the <del>second</del><ins>third</ins> try of the first pull request from me :)
Thanks, merged now! Thomas