Skip to content

Conversation

@matthiasdiener
Copy link
Contributor

@matthiasdiener matthiasdiener commented May 1, 2024

Somewhat of a (partial) alternative to #207.

@matthiasdiener matthiasdiener force-pushed the deterministic-record branch from a8952bb to 504e17b Compare May 1, 2024 20:59
@inducer
Copy link
Owner

inducer commented May 1, 2024

This is a very easy sell. Thanks!

@inducer inducer enabled auto-merge (rebase) May 1, 2024 21:02
@inducer inducer merged commit 0a4cfe1 into inducer:main May 1, 2024
@matthiasdiener matthiasdiener deleted the deterministic-record branch May 1, 2024 21:05
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.

2 participants