Closed fsdavid closed 1 year ago
@fsdavid , on further contemplation, since we are strapped for time, we can merge this. (also since we will, one day, swap out with the new version, so the commits likely won't be permanent either.)
(Apologies if you have already spent time on this)
Nice, I will merge
fsdavid
commented
1 year ago
@fsdavid , on further contemplation, since we are strapped for time, we can merge this. (also since we will, one day, swap out with the new version, so the commits likely won't be permanent either.)
(Apologies if you have already spent time on this)