Hi Dominic,
First of all, I've just seen you are working in the package again and you have updated the release version recently. Many thanks for that.
Checking the development version I had installed against the released version, I found that the PR #176, which had been merged, is not present in the release, and looking at it I've just seen that the merge was not on master, but in other branch.
Would it be worth merging it to master or you prefer don't do it?
Thanks again!
Hi Dominic,
First of all, I've just seen you are working in the package again and you have updated the release version recently. Many thanks for that.
Checking the development version I had installed against the released version, I found that the PR #176, which had been merged, is not present in the release, and looking at it I've just seen that the merge was not on master, but in other branch.
Would it be worth merging it to master or you prefer don't do it?
Thanks again!