Closed stpeter closed 9 months ago
@dwd thanks for the review. I'll wait until next week before requesting a merge of this PR, just in case we receive some late feedback.
@stpeter That was more than a week ago. Is this wanting merging now?
(The checking script complains about 0.4 rather than 0.4.0 BTW, although I'm not sure how much we should care)
I changed 0.4 to 0.4.0. And yes, I think this can be merged now, thanks.
Please do not merge this until @dwd and @stpeter agree on the changes.