diff options
| author | Rusty Wagner <rusty.wagner@gmail.com> | 2022-10-07 21:52:36 -0400 |
|---|---|---|
| committer | Rusty Wagner <rusty.wagner@gmail.com> | 2022-10-07 21:52:36 -0400 |
| commit | ed4dbf7bad554078139dcde3b437527078dc42ec (patch) | |
| tree | 849d88a756b8d27e8ae1e5a674a8ec385f4d1191 /python/types.py | |
| parent | 309fc943fb48d9ce4f6f7c59f7d66bf0ca69eef1 (diff) | |
Fix one case of resources not being freed right away when closing tabs
Diffstat (limited to 'python/types.py')
0 files changed, 0 insertions, 0 deletions