Fixup highlighting with synthetic source#87667
Merged
nik9000 merged 5 commits intoelastic:masterfrom nik9000:synthetic_highlightingJun 15, 2022
+420-17
Commits
Commits on Jun 14, 2022
- committed
- committed
Commits on Jun 15, 2022
- committed
- committed
- committed