Closed JPEWdev closed 4 months ago
Note that this fixes #937
Based on the last comment from @zvr - there was a suggestion that we include this in the CI.
My opinion is we should merge this for now then add back a non-stale version using a CI change - so I'll approve the PR.
@zvr - let me know if you agree.
Sure! I thought it would be easy to add a couple of cp lines, but since we don't have them yet, let's delete these for a start.
cp
Note that this fixes #937
Based on the last comment from @zvr - there was a suggestion that we include this in the CI.
My opinion is we should merge this for now then add back a non-stale version using a CI change - so I'll approve the PR.
@zvr - let me know if you agree.