Skip to content

Fix build#1692

Merged
pcapriotti merged 1 commit intodevelopfrom
pcapriotti/fix-build
Aug 3, 2021
Merged

Fix build#1692
pcapriotti merged 1 commit intodevelopfrom
pcapriotti/fix-build

Conversation

@pcapriotti
Copy link
Contributor

@pcapriotti pcapriotti commented Aug 3, 2021

The previously merged PR (#1691) had a syntax error.

Checklist

  • The PR Title explains the impact of the change.
  • The PR description provides context as to why the change should occur and what the code contributes to that effect. This could also be a link to a JIRA ticket or a Github issue, if there is one.

fisx
fisx approved these changes Aug 3, 2021
View reviewed changes
Copy link
Contributor

@fisx fisx left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

sorry, my bad. (i stared really hard at it and decided i can parse haskell. should have known!)

@pcapriotti pcapriotti merged commit cdd6bdf into develop Aug 3, 2021
@pcapriotti pcapriotti deleted the pcapriotti/fix-build branch August 3, 2021 12:45
@fisx fisx mentioned this pull request Aug 13, 2021
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@fisx fisx fisx approved these changes

+1 more reviewer

@mdimjasevic mdimjasevic mdimjasevic approved these changes

Reviewers whose approvals may not affect merge requirements

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

3 participants

@pcapriotti @mdimjasevic @fisx