diff options
author | rubidium42 <rubidium@openttd.org> | 2021-06-12 16:45:26 +0200 |
---|---|---|
committer | rubidium42 <rubidium42@users.noreply.github.com> | 2021-06-12 19:58:14 +0200 |
commit | 71f3c35288e0b7a357918b285d9fbfa0bc8060dc (patch) | |
tree | f574c7a15ef525811516474ee99606b6d02b70c2 /src/company_manager_face.h | |
parent | 40cec34836a694e7388a4421d746e5238a57b608 (diff) | |
download | openttd-71f3c35288e0b7a357918b285d9fbfa0bc8060dc.tar.xz |
Fix #9353: [Script] Garbage collecting on priority queues could crash the game
Diffstat (limited to 'src/company_manager_face.h')
0 files changed, 0 insertions, 0 deletions