Skip to content

Conversation

@mborland
Copy link
Member

Closes: #436

@mborland mborland merged commit 78bb865 into develop Jan 22, 2025
40 checks passed
@mborland mborland deleted the 436 branch January 22, 2025 18:54
@barracuda156
Copy link
Contributor

@mborland I cannot re-open the issue, but this patch does not fix the problem, since the new fallback, while desirable, is not being used.

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.

Build error: execution_monitor.ipp: error: expected ')' before 'PRIxPTR'

3 participants