Skip to content
New issue

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

#

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

Already on GitHub? # to your account

Jump to bottom

Add getters for Module #697

Merged
merged 2 commits into from
Oct 20, 2022
Merged

Add getters for Module #697

merged 2 commits into from
Oct 20, 2022

Conversation

cmichi
Copy link
Contributor

@cmichi cmichi commented Oct 20, 2022

Needed for use-ink/ink#1234.

@cmichi cmichi requested a review from jsdw October 20, 2022 07:27
ascjones
ascjones reviewed Oct 20, 2022
View reviewed changes
@jsdw jsdw merged commit 2ed959e into master Oct 20, 2022
@jsdw jsdw deleted the cmichi-add-getters-for-module branch October 20, 2022 13:13
# for free to join this conversation on GitHub. Already have an account? # to comment
Reviewers

@ascjones ascjones ascjones approved these changes

@jsdw jsdw jsdw 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.
3 participants
@cmichi @ascjones @jsdw