Skip to content

Return index from ir::Namespace::resolve#204

Merged
termoshtt merged 4 commits intomasterfrom
namespace-return-index
Mar 16, 2022
Merged

Return index from ir::Namespace::resolve#204
termoshtt merged 4 commits intomasterfrom
namespace-return-index

Conversation

@termoshtt
Copy link
Contributor

Split from #203

@termoshtt termoshtt self-assigned this Mar 16, 2022
@termoshtt termoshtt marked this pull request as ready for review March 16, 2022 06:08
@termoshtt termoshtt merged commit 797203c into master Mar 16, 2022
@termoshtt termoshtt deleted the namespace-return-index branch March 16, 2022 06:14
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant