Skip to content

Conversation

@zeerd
Copy link
Contributor

@zeerd zeerd commented Apr 20, 2024

Re-Open #94 because of the conflict.

Copy link
Member

@jan-wassenberg jan-wassenberg left a comment

Choose a reason for hiding this comment

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

Looks good, thanks :)

Copy link
Member

@jan-wassenberg jan-wassenberg left a comment

Choose a reason for hiding this comment

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

One small change required to successfully compile on Windows :)

Copy link
Member

@jan-wassenberg jan-wassenberg left a comment

Choose a reason for hiding this comment

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

Thanks for making the change!

@jan-wassenberg jan-wassenberg added the copybara-import Trigger Copybara for merging pull requests label Apr 22, 2024
@jan-wassenberg
Copy link
Member

@zeerd I see that import failed because this PR is targeting the main branch. Sorry I did not notice this earlier. Are you able to retarget the PR, or re-create one targeting the dev branch?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

copybara-import Trigger Copybara for merging pull requests

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants