Skip to content
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.

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

change header replica0 #1342

Merged
merged 2 commits into from
Jul 27, 2021
Merged

change header replica0 #1342

merged 2 commits into from
Jul 27, 2021

Conversation

RoyStegeman
Copy link
Member

Addresses #1341

@RoyStegeman RoyStegeman linked an issue Jul 27, 2021 that may be closed by this pull request
Co-authored-by: Zaharid <zk261@cam.ac.uk>
@Zaharid
Copy link
Contributor

Zaharid commented Jul 27, 2021

Seems to work, thanks!

@Zaharid Zaharid merged commit 71e9ed3 into master Jul 27, 2021
@Zaharid Zaharid deleted the fix_header_replica0 branch July 27, 2021 16:54
@Zaharid Zaharid added the bug Something isn't working label Oct 28, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working
Projects
None yet
Development

Successfully merging this pull request may close these issues.

replica0 header should not include FromMCReplica key
3 participants