Closed andy-maier closed 2 months ago
No review needed - merging it in order to get RTD updated.
The actual change is in the RTD version settings:
coverage: 82.329%. remained the same when pulling 5250346c4d0f8ffab48bf49996c4e8b7db7afb05 on andy/reduce-docs-versions-2 into 6540cff60a2ef08e96d08a47102f393d351bc7d0 on master.
No review needed - merging it in order to get RTD updated.
The actual change is in the RTD version settings: