Skip to content

Re-enable incompatible-function-pointer-types warning#778

Merged
guillep merged 1 commit intopharo-project:pharo-10from
guillep:incompatible-function-pointer-types-warning
May 2, 2024
Merged

Re-enable incompatible-function-pointer-types warning#778
guillep merged 1 commit intopharo-project:pharo-10from
guillep:incompatible-function-pointer-types-warning

Conversation

@guillep
Copy link
Member

@guillep guillep commented Apr 30, 2024

It is not happening anymore

@guillep guillep force-pushed the incompatible-function-pointer-types-warning branch from b5d55e6 to ec3ddfd Compare May 2, 2024 08:01
@guillep guillep merged commit 3a60bd0 into pharo-project:pharo-10 May 2, 2024
@guillep guillep deleted the incompatible-function-pointer-types-warning branch May 2, 2024 09:49
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.

1 participant