Merge branch 'fix/yojson/2.1' into 'master'
[libs] fixes Yojson 2.1 support Closes #1260 See merge request frama-c/frama-c!4176
No related branches found
No related tags found
Loading
Please register or sign in to comment
[libs] fixes Yojson 2.1 support Closes #1260 See merge request frama-c/frama-c!4176