Closed Fil closed 1 month ago
closes #136
Do we normally include the changes to the documentation (README) to these PRs or are those done separately?
Merged into #262.
closes #136