JSON-198 #8

Merged

roker merged 2 commits from JSON-198 into master

positron commented

Owner

Please merge into master. This is the aesthetically consistent version, with backward-compatible arguments, new fields encoded as a JSON object and not a scalar.

Please merge into master. This is the aesthetically consistent version, with backward-compatible arguments, new fields encoded as a JSON object and not a scalar.

roker merged commit 653dfd406c into master 1 year ago

roker referenced this issue from a commit

Merge pull request 'JSON-198' (#8) from JSON-198 into master

The pull request has been merged as 653dfd406c.

You can also view command line instructions.

Step 1:

From your project repository, check out a new branch and test the changes.

git checkout -b JSON-198 master

git pull origin JSON-198

Step 2:

Merge the changes and update on Gitea.

git checkout master

git merge --no-ff JSON-198

git push origin master

Sign in to join this conversation.

No reviewers

No Label

No Milestone

No Assignees

1 Participants

Notifications

Due Date

The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Dependencies

No dependencies set.

Loading…

There is no content yet.