Closed mperrin closed 8 months ago
I already implemented this change on develop in #104, but to get RTD working again we need this change on main, it turns out. Rather than waiting for whenever we next merge develop to main, it's better to just do this as a fix directly to main now.
main
I already implemented this change on develop in #104, but to get RTD working again we need this change on
main
, it turns out. Rather than waiting for whenever we next merge develop to main, it's better to just do this as a fix directly to main now.