Skip to content
This repository was archived by the owner on May 17, 2024. It is now read-only.

Conversation

nolar
Copy link
Contributor

@nolar nolar commented Dec 27, 2023

Requires #813 because of a minor merge conflict; otherwise independent.

A replay for #804, which did not run CI for some reason.

Copy link

@dagadbm dagadbm left a comment

Choose a reason for hiding this comment

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

to unblock if needed but needs proper review

@nolar nolar force-pushed the collations-alignment branch from b75807e to 9e83b7d Compare December 29, 2023 20:10
@nolar nolar merged commit d4589c7 into master Dec 30, 2023
@nolar nolar deleted the collations-alignment branch December 30, 2023 14:02
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

2 participants