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

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

Closed
nickjjzhao wants to merge 1 commit intodevelopfrom
jjz-merge-abieos-PR#125
Closed

to_json: use letter escapes(abieos#125)#10359
nickjjzhao wants to merge 1 commit intodevelopfrom
jjz-merge-abieos-PR#125

Conversation

@nickjjzhao
Copy link
Contributor

@nickjjzhao nickjjzhao commented May 13, 2021

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.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant