diff options
| author | Jamie Liu <jamieliu@google.com> | 2020-08-07 18:32:03 -0700 |
|---|---|---|
| committer | gVisor bot <gvisor-bot@google.com> | 2020-08-07 18:41:48 -0700 |
| commit | 343661770aa96efe3b539a82addff13df235413f (patch) | |
| tree | c394c500c71ce4c1676cb315343d39c701ece4ad /tools/vm/BUILD | |
| parent | 8f6d576afe2e9e3fea7d792fd0b0d3f426b8d1b4 (diff) | |
Don't hold gofer.filesystem.renameMu during dentry destruction.
PiperOrigin-RevId: 325546629
Diffstat (limited to 'tools/vm/BUILD')
0 files changed, 0 insertions, 0 deletions