diff options
author | Florian Klink <flokli@flokli.de> | 2023-12-16T21·32+0200 |
---|---|---|
committer | clbot <clbot@tvl.fyi> | 2023-12-16T21·47+0000 |
commit | 7749814953703cc31c726d47ddf24bd32f1982c7 (patch) | |
tree | 8bbba78c8044bbbd7856dec33caceda48633ff83 /tvix/.gitignore | |
parent | 43ab1543e22f12eb6cf3b290f8ec2c04818041e4 (diff) |
docs(tvix): refer to futures-rs PR r/7225
The PR has since been replaced with another version, using a bit of unsafe, as rustc doesn't like the lifetimes. We're still waiting on a backport of that to 0.3. Change-Id: I8dd344e78162cd956f6e53ff05dc4c02763fbb04 Reviewed-on: https://cl.tvl.fyi/c/depot/+/10376 Reviewed-by: raitobezarius <tvl@lahfa.xyz> Autosubmit: flokli <flokli@flokli.de> Tested-by: BuildkiteCI
Diffstat (limited to 'tvix/.gitignore')
0 files changed, 0 insertions, 0 deletions