I fixed the last two commands (were apparently cut-pasted and they indeed were deleting the wrong file). Thanks for catching that!
I'll merge this change now (with that minor fix).
« Back to merge proposal
I fixed the last two commands (were apparently cut-pasted and they indeed were deleting the wrong file). Thanks for catching that!
I'll merge this change now (with that minor fix).