diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2021-02-14 12:17:14 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-02-14 12:17:14 +0100 |
| commit | b9aa2d0dfb5ec6e93e1dc3604fba92606c1a2398 (patch) | |
| tree | fba9b368e74da07dfb682d5bbd8725467f11eaf2 /thirdparty/misc | |
| parent | 4eae532921bcf9a44398cebf3b54f2a0890762c6 (diff) | |
| parent | ae7675065a3eebf2a61a5bdc5b5e103a7f869a78 (diff) | |
Merge pull request #45953 from BastiaanOlij/no_unload_non_reloadable
Only unload the library if the reloadable flag is true
Diffstat (limited to 'thirdparty/misc')
0 files changed, 0 insertions, 0 deletions