Skip to content

Conversation

@matkoniecz
Copy link
Contributor

@matkoniecz matkoniecz commented Jul 25, 2021

This PR fixes #129329

note: I have not tested this (as it would require setup of entire compiling environment) but hopefully it is simple enough and will be CI tested

@aeschli aeschli added this to the September 2021 milestone Aug 17, 2021
@aeschli aeschli merged commit cae939b into microsoft:main Aug 17, 2021
@github-actions github-actions bot locked and limited conversation to collaborators Oct 1, 2021
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

[json] GeoJSON should be syntax highlighted as JSON instead of plain text out of the box without manual configuration

3 participants