diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2025-12-30 18:50:25 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2026-01-02 13:38:49 +0000 |
| commit | f1519a95877e13662cbf16c7344b3e23d5b3982c (patch) | |
| tree | 73f3ff8f753aecddfee46eabe0f2144227adf225 /executor | |
| parent | af6b70b9a2c145f9a687e6c4056f035c6d62f2c0 (diff) | |
prog: support snapshot-only calls
Update #5308
Diffstat (limited to 'executor')
0 files changed, 0 insertions, 0 deletions