Skip to content
New issue

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

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

Already on GitHub? # to your account

Options fix #427

Merged
merged 3 commits into from
Jun 7, 2024
Merged

Options fix #427

merged 3 commits into from
Jun 7, 2024

Conversation

yellowhatter
Copy link
Contributor

  • fix options unwrapping
  • fix forgotten querying_subscriber options handling
  • remove pull_subscriber

- fix forgotten querying_subscriber options handling
- remove pull_subscriber
@yellowhatter
Copy link
Contributor Author

@DenisBiryukov91 this is for options we discussed

@DenisBiryukov91
Copy link
Contributor

Looks good to me.

@milyin milyin merged commit 9551af7 into eclipse-zenoh:dev/1.0.0 Jun 7, 2024
6 checks passed
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
Status: No status
Development

Successfully merging this pull request may close these issues.

3 participants