Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
1.0.31.16: fix DELETE-FILE on logical pathnames
(This is really the commit message for 1.0.31.15 -- which accidentally got the message from 1.0.31.14 again. Sorry.) Not real content in this commit.
- Loading branch information