Closed jmackereth closed 2 years ago
Ok, I think that commit 54704a5 is just me merging a separate DR17 branch that I started, so all merges cleanly.
I can merge this to avoid confusion, but we are working on your dr17
branch for the main PR, so this isn't really necessary...
Looks like the only changes here were to fix that bug in the mainIndx. There is also a merge there, and I can't quite figure out what was up with that yet.