diff options
| author | Anders Leino <aleino@nvidia.com> | 2025-02-27 20:29:00 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-02-27 10:29:00 -0800 |
| commit | 2ebf9555a54c00f45b1cd0bdd7f6c163120bb845 (patch) | |
| tree | 8ac5208ff86fb4792c88c6a7dbe4609327a666f7 /source/slang | |
| parent | 1fb3c1536587d6ed085f13af78101cbfb3481dca (diff) | |
Document bug with global session teardown in user guide (#6479)
This closes #6344.
Co-authored-by: Yong He <yonghe@outlook.com>
Diffstat (limited to 'source/slang')
0 files changed, 0 insertions, 0 deletions