Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Remove unneeded extern C #3525

Merged
merged 1 commit into from
Jun 15, 2022
Merged

Conversation

oyvindeide
Copy link
Collaborator

@oyvindeide oyvindeide commented Jun 15, 2022

Issue
Related to #3417

Pre review checklist

  • Added appropriate release note label
  • PR title captures the intent of the changes, and is fitting for release notes.
  • Commit history is consistent and clean, in line with the contribution guidelines.

Adding labels helps the maintainers when writing release notes. This is the list of release note labels.

@oyvindeide oyvindeide self-assigned this Jun 15, 2022
@oyvindeide oyvindeide added the release-notes:maintenance Automatically categorise as maintenance change in release notes label Jun 15, 2022
@oyvindeide oyvindeide merged commit c6c65fd into equinor:main Jun 15, 2022
@oyvindeide oyvindeide deleted the remove_extern_c branch June 15, 2022 14:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
release-notes:maintenance Automatically categorise as maintenance change in release notes
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants