diff options
author | Vincent Ambo <mail@tazj.in> | 2022-11-05T11·57+0300 |
---|---|---|
committer | tazjin <tazjin@tvl.su> | 2022-11-06T08·10+0000 |
commit | c877e1d920f3dce5598fd50f68c05b5e876dea5f (patch) | |
tree | 9d2815e6886ed559d422b1488d7fd33977754c59 /third_party/gerrit_plugins | |
parent | 116c8d81c62f2a8aee5ce2a0fb53dd3e7907fbe3 (diff) |
refactor(tvix/eval): move `unwrap_or_clone_rc` to lib module r/5254
This is more generally useful than just inside the VM, until it is stabilised in Rust itself. Change-Id: Id9aa3d5b533ff38e3d2c6b85ad484394fdd05dcf Reviewed-on: https://cl.tvl.fyi/c/depot/+/7186 Tested-by: BuildkiteCI Autosubmit: tazjin <tazjin@tvl.su> Reviewed-by: grfn <grfn@gws.fyi> Reviewed-by: Adam Joseph <adam@westernsemico.com>
Diffstat (limited to 'third_party/gerrit_plugins')
0 files changed, 0 insertions, 0 deletions