New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

rename data_hash to datum_hash in alonzo CDDL #2507

Merged

JaredCorduan merged 1 commit into master from jc/rename-data-hash-to-datum-hash

Oct 5, 2021

Contributor

JaredCorduan commented Oct 4, 2021

Micro 🔬 PR to rename a CDDL variable to something more helpful: data_hash -> datum_hash.


          rename data_hash to datum_hash in alonzo CDDL

5f95914

JaredCorduan requested review from nc6 and redxaxder

October 4, 2021 12:15

Contributor

WhatisRT commented Oct 4, 2021

I'd like to rename it in the formal spec as part of this PR as well

redxaxder approved these changes

View reviewed changes

JaredCorduan merged commit f0e490b into master

iohk-bors bot deleted the jc/rename-data-hash-to-datum-hash branch

October 5, 2021 13:57

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment