Closed wallrj closed 7 years ago
Closes: #2987
I've re-enabled the RTD GitHub integration so hopefully the docs will be automatically rebuilt when I merge this.
Closes: #2987