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(abieos#125) #10359

Closed
wants to merge 1 commit into from
Closed

to_json: use letter escapes(abieos#125) #10359

wants to merge 1 commit into from

Conversation

nickjjzhao
Copy link
Contributor

@nickjjzhao nickjjzhao commented May 13, 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
Copy link
Contributor Author

Discard this PR as the branch name contains #

@nickjjzhao nickjjzhao closed this May 14, 2021
@nickjjzhao nickjjzhao deleted the jjz-merge-abieos-PR#125 branch May 14, 2021 14:07
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@nickjjzhao