When I was working on the last release I had got myself into a mixed-up state with too many unexpectedly-changed files. It was easiest to restore files rather than edit them and I lost the changes in this PR. These were from an external contributor in PR #540.
When I was working on the last release I had got myself into a mixed-up state with too many unexpectedly-changed files. It was easiest to restore files rather than edit them and I lost the changes in this PR. These were from an external contributor in PR #540.