Thanks for the bug report, Michael. As I mentioned on stackexchange, I'm unable to reproduce the bug. Can you elaborate a bit on how you try to access the file in step 2? Different commands are going to result in different system call sequences, so maybe that's the reason why I'm not seeing the bug.
Thanks for the bug report, Michael. As I mentioned on stackexchange, I'm unable to reproduce the bug. Can you elaborate a bit on how you try to access the file in step 2? Different commands are going to result in different system call sequences, so maybe that's the reason why I'm not seeing the bug.