Skip to content

Conversation

@dfinity-bot
Copy link
Contributor

@dfinity-bot dfinity-bot commented May 28, 2024

Updated replica to elected commit ec35ebd252d4ffb151d2cfceba3a86c4fb87c6d6.
This incorporates the following executed proposals:

@dfinity-bot dfinity-bot requested a review from a team as a code owner May 28, 2024 14:41
@ghost ghost enabled auto-merge (squash) May 28, 2024 14:47
auto-merge was automatically disabled May 28, 2024 15:03

Pull Request is not mergeable

@ghost ghost merged commit 58c31e4 into master May 28, 2024
@ghost ghost deleted the chore-update-replica-ec35ebd252d4ffb151d2cfceba3a86c4fb87c6d6-master branch May 28, 2024 15:28
This pull request was closed.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants