Skip to content

Conversation

@gbaraldi
Copy link
Member

make some of it's fields const

make some of it's fields const
@gbaraldi gbaraldi requested a review from vtjnash August 28, 2023 21:55
@vtjnash vtjnash merged commit e3e1f1e into master Aug 31, 2023
@vtjnash vtjnash deleted the gb/syncrhonize-event branch August 31, 2023 00:31
@vtjnash
Copy link
Member

vtjnash commented Aug 31, 2023

The rr bug that made CI fail is partly fixed upstream rr-debugger/rr@5442ecf

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.

3 participants