bors 88515b981d Auto merge of #12809 - lnicola:empty-diagnostics, r=lnicola
fix: Work around Code bug with empty diagnostics

Closes #11404
2022-07-19 05:08:47 +00:00
..
2022-07-08 15:44:49 +02:00
2022-07-03 10:09:35 +03:00
2022-07-08 15:44:49 +02:00
2022-07-03 10:09:35 +03:00
2022-07-08 15:44:49 +02:00
2022-07-08 15:44:49 +02:00
2022-07-08 15:44:49 +02:00
2022-06-25 10:25:56 +08:00
2022-07-03 10:09:35 +03:00
2022-07-03 09:56:58 +03:00