Skip to content

Fix for yojson 2.0.2#167

Merged
gares merged 2 commits intoLPCIC:masterfrom
SnarkBoojum:issue_159
Nov 25, 2022
Merged

Fix for yojson 2.0.2#167
gares merged 2 commits intoLPCIC:masterfrom
SnarkBoojum:issue_159

Conversation

@SnarkBoojum
Copy link

This is a fix for issue #159.

@gares
Copy link
Contributor

gares commented Oct 24, 2022

Thanks, but please also relax the constraint in elpi.opam (in another commit, I want this CI to run anyway)

@gares
Copy link
Contributor

gares commented Oct 24, 2022

So the new code is not backward compatible.

@gares gares merged commit 8c6ac7f into LPCIC:master Nov 25, 2022
@gares
Copy link
Contributor

gares commented Nov 25, 2022

thanks

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants