Closed bsipocz closed 1 month ago
This should provide a workaround to close #3100
RTD has passed now, so I go ahead and merge.
This should provide a workaround to close #3100