Skip to content

hotfix for a compilation issue #315

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.

Sign up for GitHub

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

Jump to bottom
Merged
merged 1 commit into from
Apr 29, 2021
Merged

hotfix for a compilation issue #315

merged 1 commit into from
Apr 29, 2021

Conversation

@fernando-cortez
Copy link
Contributor

@fernando-cortez fernando-cortez commented Apr 29, 2021

We landed with a compiler error after the recent merges. This fixes that.

@fernando-cortez fernando-cortez added the 2-Easy This PR is trivial and can be reviewed quickly label Apr 29, 2021
@Cosmin-B Cosmin-B merged commit bd41772 into develop Apr 29, 2021
@fernando-cortez fernando-cortez deleted the feature/compiler-hotfix branch April 29, 2021 14:36
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@SamuelBellomo SamuelBellomo Awaiting requested review from SamuelBellomo

2 more reviewers

@Cosmin-B Cosmin-B Cosmin-B approved these changes

@LukeStampfli LukeStampfli LukeStampfli approved these changes

Reviewers whose approvals may not affect merge requirements

Assignees

@Cosmin-B Cosmin-B

@SamuelBellomo SamuelBellomo

Labels

2-Easy This PR is trivial and can be reviewed quickly

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

5 participants

@fernando-cortez @Cosmin-B @LukeStampfli @SamuelBellomo