Skip to content
This repository has been archived by the owner on Nov 30, 2022. It is now read-only.

Add missing json extension. #809

Merged
merged 1 commit into from Jun 21, 2021
Merged

Add missing json extension. #809

merged 1 commit into from Jun 21, 2021

Conversation

lucasmichot
Copy link
Collaborator

@lucasmichot lucasmichot commented Jun 18, 2021

This PR adds the missing json extension.

@lucasmichot lucasmichot requested a review from gnikyt June 18, 2021 21:13
@gnikyt
Copy link
Owner

gnikyt commented Jun 21, 2021

Thanks!

@gnikyt gnikyt merged commit 9b742b8 into gnikyt:master Jun 21, 2021
@lucasmichot lucasmichot deleted the missing-ext-json branch July 16, 2021 06:47
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.

None yet

2 participants