diff options
| author | Florian Klink <flokli@flokli.de> | 2023-09-05T14·08+0300 |
|---|---|---|
| committer | clbot <clbot@tvl.fyi> | 2023-09-05T15·19+0000 |
| commit | 7bd3c42c747498dea657e0ed26ed5ec2a9eddda3 (patch) | |
| tree | c4e4800c3c3e11a600e6d2893d9149f69a85f0ee /tvix/store/src/pathinfoservice/memory.rs | |
| parent | e187a7bcb18ade669e276473b277edcd01f1babb (diff) | |
chore(tvix/store): drop walkdir workaround for symlinks at root r/6553
https://github.com/BurntSushi/walkdir/pull/170 got merged, meaning we don't need to keep our own logic in here anymore. Our test cases already cover this. Change-Id: Ied3043ee651c8aafa10271c1e1ca5d460fb6c0b8 Reviewed-on: https://cl.tvl.fyi/c/depot/+/9269 Autosubmit: flokli <flokli@flokli.de> Tested-by: BuildkiteCI Reviewed-by: tazjin <tazjin@tvl.su>
Diffstat (limited to 'tvix/store/src/pathinfoservice/memory.rs')
0 files changed, 0 insertions, 0 deletions