commit | f97305af317daded5d234ea1d3fcea78974f1200 | [log] [download] |
---|---|---|
author | nicm <nicm> | Wed Dec 30 18:29:40 2020 +0000 |
committer | nicm <nicm> | Wed Dec 30 18:29:40 2020 +0000 |
tree | 9c670198ac2bd8627d40eaf8f7951a7489551ad7 | |
parent | a98ee00dd988b813b0b0cba1af939978505936b7 [diff] |
Use right format for session loop, GitHub issue 2519.