My apologies for the bombardment; I am trying to do as much as possible before I get distracted by something else, ...
This PR is based on the optimistic assumption that the previous PR [#4] gets merged as is, and that you also agree with the proposed fix (A) for issue #1.
It contains the same commits as PR [#4] and an additional commit that resolves #1. So, you could just merge this one and discard PR #4 if you agree with all of it.
The commit messages themselves are quite lengthy, so I won't add anything else here.
Hi again,
My apologies for the bombardment; I am trying to do as much as possible before I get distracted by something else, ...
This PR is based on the optimistic assumption that the previous PR [#4] gets merged as is, and that you also agree with the proposed fix (A) for issue #1.
It contains the same commits as PR [#4] and an additional commit that resolves #1. So, you could just merge this one and discard PR #4 if you agree with all of it.
The commit messages themselves are quite lengthy, so I won't add anything else here.
Cheers!