Skip to content
This repository has been archived by the owner on Aug 2, 2022. It is now read-only.

to_json: use letter escapes #10363

Merged
merged 1 commit into from
May 14, 2021
Merged

to_json: use letter escapes #10363

merged 1 commit into from
May 14, 2021

Conversation

nickjjzhao
Copy link
Contributor

@nickjjzhao nickjjzhao commented May 14, 2021 •
edited
Loading

Change Description

Merge abieos PR#126, which is cherry-picked from PR#125.

Change Type

Select ONE:

  • Documentation
  • Stability bug fix
  • Other
  • Other - special case

Testing Changes

Select ANY that apply:

  • New Tests
  • Existing Tests
  • Test Framework
  • CI System
  • Other

Consensus Changes

  • Consensus Changes

API Changes

  • API Changes

Documentation Additions

  • Documentation Additions

@nickjjzhao nickjjzhao merged commit 7ec2c7c into develop May 14, 2021
@nickjjzhao nickjjzhao deleted the jjz-merge-abieos-pull-125 branch May 14, 2021 15:37
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@heifner heifner heifner approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@nickjjzhao @heifner