Skip to content

Conversation

@dmitrylavrenov
Copy link
Contributor

@dmitrylavrenov dmitrylavrenov commented Nov 30, 2023

Copy link
Contributor

@MOZGIII MOZGIII left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good in general, we need to flush out a few nits and we are good to go

MOZGIII

This comment was marked as duplicate.

Copy link
Contributor

@MOZGIII MOZGIII left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Let's merge it

@dmitrylavrenov dmitrylavrenov added this pull request to the merge queue Jan 18, 2024
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Jan 18, 2024
@dmitrylavrenov dmitrylavrenov added this pull request to the merge queue Jan 18, 2024
Merged via the queue into master with commit 5ce31f7 Jan 18, 2024
@dmitrylavrenov dmitrylavrenov deleted the polkadot-v0.9.40 branch January 18, 2024 09:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

3 participants