Merge pull request #80392 from myaaaaaaaaa/navthreads

Suppress NavigationServer race conditions
This commit is contained in:
Rémi Verschelde 2023-08-08 08:26:13 +02:00 committed by GitHub
commit eca6f0eb54
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 0 deletions

View File

@ -4,4 +4,5 @@
deadlock:tests/core/templates/test_command_queue.h deadlock:tests/core/templates/test_command_queue.h
deadlock:modules/text_server_adv/text_server_adv.cpp deadlock:modules/text_server_adv/text_server_adv.cpp
deadlock:modules/text_server_fb/text_server_fb.cpp deadlock:modules/text_server_fb/text_server_fb.cpp
race:modules/navigation/nav_map.cpp