diff options
author | Vincent Ambo <mail@tazj.in> | 2023-02-04T09·05+0300 |
---|---|---|
committer | tazjin <tazjin@tvl.su> | 2023-02-04T12·44+0000 |
commit | 26b55f8cdacb491cd6f50a5deb067b07e04fb835 (patch) | |
tree | adf768af5c6e40a48da801250fb1d5b96fbf4b16 /docs | |
parent | c13759e89fc23af1c4ce63d09cf6192a3d119554 (diff) |
fix(tvix/cli): use tvlfyi/wu-manber fork for refscanner r/5836
Our fork fixes a small bug (https://github.com/jneem/wu-manber/pull/1) but it's not clear whether upstream will accept patches, so for now lets point this directly at our fork. Change-Id: Iccdcedae3e9a8b783241431787c952561d032694 Reviewed-on: https://cl.tvl.fyi/c/depot/+/8031 Reviewed-by: tazjin <tazjin@tvl.su> Autosubmit: tazjin <tazjin@tvl.su> Tested-by: BuildkiteCI
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions