Skip to content
This repository has been archived by the owner on Feb 14, 2024. It is now read-only.

Update to new JSON api #13

Closed
kuon opened this issue May 18, 2023 · 0 comments
Closed

Update to new JSON api #13

kuon opened this issue May 18, 2023 · 0 comments

Comments

@kuon
Copy link

kuon commented May 18, 2023

Required by ZLS: zigtools/zls#1191

API change ziglang/zig#15602

Covered by #12

@kuon kuon closed this as completed May 19, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant