diff options
author | Vincent Ambo <mail@tazj.in> | 2023-11-05T18·18+0300 |
---|---|---|
committer | clbot <clbot@tvl.fyi> | 2023-11-05T20·28+0000 |
commit | f325456cba24c037415ac36502bfb900b19fbee5 (patch) | |
tree | 4f2a75d9a2d658e37c91ac412a84e75b17f0cc1f /OWNERS | |
parent | 87d3fac6762b5b2f71d766eadf652d7762213d2b (diff) |
chore(tvix): bump proptest dependency r/6959
This *might* contain a fix for a clippy lint thrown by that crate. Relates to b/321. Change-Id: Ia7ebd3e26e0feb8bcc7a6c811b1e583f9016fd9e Reviewed-on: https://cl.tvl.fyi/c/depot/+/9966 Tested-by: BuildkiteCI Reviewed-by: flokli <flokli@flokli.de> Autosubmit: tazjin <tazjin@tvl.su>
Diffstat (limited to 'OWNERS')
0 files changed, 0 insertions, 0 deletions