Closed lhawthorn closed 2 months ago
This will eventually need to be more streamlined than an open issue, but for now an open issue suffices.
Also clarified wording in the document.
Yes, I believe this PR is now out of date. I am closing it. Thank you, Martin.
This will eventually need to be more streamlined than an open issue, but for now an open issue suffices.
Also clarified wording in the document.