Skip to content

Conversation

@antiguru
Copy link
Member

Capture a bunch of changes I had sitting around for a while. Fixes a bug in the mdbook, but otherwise no functional changes.

Some of the changes might conflict with #597.

Capture a bunch of changes I had sitting around for a while. Fixes a bug
in the mdbook, but otherwise no functional changes.

Signed-off-by: Moritz Hoffmann <[email protected]>
@frankmcsherry
Copy link
Member

Looks good. I'll handle fix-ups for #597.

@frankmcsherry frankmcsherry merged commit 229c114 into TimelyDataflow:master Nov 11, 2024
7 checks passed
@github-actions github-actions bot mentioned this pull request Nov 11, 2024
@antiguru antiguru deleted the collected_updates branch November 13, 2024 15:24
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