diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2022-07-06 09:31:08 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-07-06 09:31:08 +0200 |
| commit | 398ab31a6bcf1a80a6fc13a56e2f7f8558303d51 (patch) | |
| tree | c7ef88b1884c5896c92e6c57fc1eb4aa8224210a /doc/tools | |
| parent | 83ad1231a7d3e4c8a7eda97229fa409df263d2e6 (diff) | |
| parent | a194043ea81bcc1aa1d431834327ffa778d561bb (diff) | |
Merge pull request #62767 from bruvzg/glman_check
Check if GL manager exist to prevent crash when using multithreaded renderer with Vulkan.
Diffstat (limited to 'doc/tools')
0 files changed, 0 insertions, 0 deletions