diff options
| author | Laurenz <laurmaedje@gmail.com> | 2023-05-22 13:10:27 +0200 |
|---|---|---|
| committer | Laurenz <laurmaedje@gmail.com> | 2023-05-22 13:10:48 +0200 |
| commit | 3d83960322e1a2053f2e6ef64cf5139b0b04cb47 (patch) | |
| tree | 86f4fbcf1ab807616ec4316badaf6c122b04751e /src/model | |
| parent | 08870d4a4c3890b9e36c67c8972e41f6af1e0042 (diff) | |
Fix removal order for dictionary
Switches to `shift_remove` for now. In the future, we should look into a more efficient implementation. Fixes #1258.
Diffstat (limited to 'src/model')
0 files changed, 0 insertions, 0 deletions