Skip to content

fix alive2 issue 1290#1291

Merged
nunoplopes merged 1 commit intoAliveToolkit:masterfrom
regehr:issue-1290-fix
Feb 27, 2026
Merged

fix alive2 issue 1290#1291
nunoplopes merged 1 commit intoAliveToolkit:masterfrom
regehr:issue-1290-fix

Conversation

@regehr
Copy link
Copy Markdown
Contributor

@regehr regehr commented Feb 27, 2026

Nuno-- I have no strong amount of confidence that this is correct but I thought I'd give it a try

@regehr
Copy link
Copy Markdown
Contributor Author

regehr commented Feb 27, 2026

fixes #1290

@nunoplopes nunoplopes merged commit 4b336d3 into AliveToolkit:master Feb 27, 2026
16 checks passed
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