Conversation
|
A number of changes got clobbered by that 'merged with master' commit. |
|
Robert Best and I have reviewed this pull request and would like to do the work toward completion together as follows:
I'm unsure about how that last commit did nothing useful and was so damaging. How can we remove it from this pull request? Please help. |
|
Well this PR was started back in 2022, so there have been changes. Rather than trying to merge master into these changes, it would be better to rebase. So,
There appears to be two areas of conflict. The only one that needs any attention is in Once all is resolved, you will need to force push the update back to github. |
b1e6b22 to
d82a2a5
Compare
|
Paul and I fixed up this pull request which was against an old version and merged incorrectly. It's in good shape now and ready for finish work called out above. |
|
Thanks to Paul for help on this last change. |
|
Replaced with #342 |
Work To Do
Features So Far