Skip to content
This repository was archived by the owner on May 9, 2024. It is now read-only.

Fix istream linking #194

Merged
merged 1 commit into from
Feb 16, 2023
Merged

Fix istream linking #194

merged 1 commit into from
Feb 16, 2023

Conversation

kurapov-peter
Copy link
Contributor

A quick fix for the build. I'll move the operator to a shared location in the next pr.

@kurapov-peter kurapov-peter merged commit d6f9c66 into main Feb 16, 2023
@kurapov-peter kurapov-peter deleted the pakurapo/quick-build-fix branch February 16, 2023 18:05
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants