Closed mirjak closed 2 months ago
fixes #7
Is this just a proposal; we could also close the issue without any changes in the document.
Closed in c4b697e7697bee0631c65857d5736ea1c6feb368.
fixes #7
Is this just a proposal; we could also close the issue without any changes in the document.