Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
Editorial: pass necessary arguments to SerializeJSON* #1890
I find this sketchy (see #1884).
This PR makes all the necessary values be passed explicitly, wrapped up in a Record.