chabowski
commented
1 year ago @mfriesenegger no worries, I will take your recent changes from your PR branches here, insert them into main, and close the PRs without merging your branches - so we have a work around for the merging conflicts. This should not be a problem, because there are only a couple of changes.
I would just ask you to refresh your clone / fork of the main later, after I have implemented and committed the final changes.
@chabowski FWIW this new item that is added to the summary might cause merge issues with #84 .