diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2021-07-12 14:52:28 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-07-12 14:52:28 +0200 |
| commit | 5226fa11b5b8b8d2f46f00b27262365038d5b43e (patch) | |
| tree | a53346128e50589d210b6585470cda77fa5ff0eb /.github | |
| parent | 8dccf0f9b5a89c08cdff8154c34f0d975cc0f740 (diff) | |
| parent | e3be0913d73bdc1ff45acef30209df519c0eff2a (diff) | |
Merge pull request #50392 from TaskManagerCZ/master
Explicit error message when setting active a Viewport that is already active
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions