Skip to content

Update for Rerun 0.11#18

Merged
Wumpf merged 5 commits intomainfrom
andreas/rerun-0.11
Nov 28, 2023
Merged

Update for Rerun 0.11#18
Wumpf merged 5 commits intomainfrom
andreas/rerun-0.11

Conversation

@Wumpf
Copy link
Copy Markdown
Member

@Wumpf Wumpf commented Nov 24, 2023

To be merged on release.

@Wumpf Wumpf marked this pull request as draft November 24, 2023 16:07
@Wumpf Wumpf marked this pull request as ready for review November 28, 2023 11:53
@Wumpf Wumpf merged commit 0098d17 into main Nov 28, 2023
@Wumpf Wumpf deleted the andreas/rerun-0.11 branch November 28, 2023 14:07
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