diff options
| author | Pascal Kuthe | 2023-04-07 12:50:47 +0000 |
|---|---|---|
| committer | Blaž Hrastnik | 2023-05-18 06:16:50 +0000 |
| commit | 6842fd4c36c5855023b007a36b0b5c8bd965d8de (patch) | |
| tree | 4af253f71b873eadc23bc33bfc69d88024bdef46 /runtime | |
| parent | 28b730381cc93d06e5a090b8734505edbebb1af4 (diff) | |
clarify comments about completion savepoints
Co-authored-by: Michael Davis <mcarsondavis@gmail.com>
Diffstat (limited to 'runtime')
0 files changed, 0 insertions, 0 deletions