diff options
| author | sterni <sternenseemann@systemli.org> | 2022-09-19T10·08+0200 |
|---|---|---|
| committer | sterni <sternenseemann@systemli.org> | 2022-09-20T09·44+0000 |
| commit | 151f4437bccd9e826c8fd666ebce9763c4b54a11 (patch) | |
| tree | 06a9c8f793c50aa17fa21d1a7c632950e6e2a358 /users/tazjin | |
| parent | a01524823aef834389b8eab50d6bf8f6c7d23bbf (diff) | |
refactor(tvix/eval/builtins): avoid unnecessary popping r/4932
Change-Id: I631b442e19e5c05455d705291c11037eae9ed9e0 Reviewed-on: https://cl.tvl.fyi/c/depot/+/6694 Autosubmit: sterni <sternenseemann@systemli.org> Reviewed-by: grfn <grfn@gws.fyi> Tested-by: BuildkiteCI
Diffstat (limited to 'users/tazjin')
0 files changed, 0 insertions, 0 deletions