Laurențiu Nicola 968fc01fa6
Merge pull request #20547 from ChayimFriedman2/highlight-related-unsafe-scope
fix: In highlight_related, when on an unsafe block, don't highlight unsafe operations of other unsafe blocks
2025-08-27 19:09:21 +00:00
..
2025-07-31 10:55:10 +02:00
2025-08-09 16:08:58 +00:00
2025-08-09 16:08:58 +00:00
2025-07-31 10:55:10 +02:00
2025-07-31 10:55:10 +02:00
2025-06-23 00:50:22 +03:00
2025-07-31 09:55:07 +02:00
2025-08-09 16:08:58 +00:00
2025-08-13 15:28:08 +08:00
2025-06-23 00:50:22 +03:00
2025-08-09 15:47:01 +08:00
2025-06-23 00:50:22 +03:00
2025-07-31 10:55:10 +02:00
2025-07-03 10:05:16 +02:00
2025-07-31 10:55:10 +02:00