Skip to content

Conversation

@kroening
Copy link
Collaborator

The issue was fixed by #1251

@tautschnig
Copy link
Collaborator

This should have been detected by our KNOWNBUG CI job, which it seems I had gotten wrong. Trying to fix this in #1278.

@tautschnig tautschnig merged commit 43d3a48 into main Sep 26, 2025
11 checks passed
@tautschnig tautschnig deleted the array_in_struct1-fixed branch September 26, 2025 09:45
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants