Update org.json:json to version 20231013#767

Merged

cazfi merged 1 commit intofreeciv:developfrom cazfi:deps

Oct 19, 2023

+1-1

Commits on Oct 15, 2023

Update org.json:json to version 20231013
cazfi
committed