Skip to content
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.

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

ffi: be more flexible with optional options #474

Merged
merged 8 commits into from
Oct 25, 2024
Merged

Commits on Oct 24, 2024

  1. wip

    theomonnom committed Oct 24, 2024
    Configuration menu
    Copy the full SHA
    e5d2bd1 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    522a53f View commit details
    Browse the repository at this point in the history
  3. Update mod.rs

    theomonnom committed Oct 24, 2024
    Configuration menu
    Copy the full SHA
    14345da View commit details
    Browse the repository at this point in the history
  4. wip

    theomonnom committed Oct 24, 2024
    Configuration menu
    Copy the full SHA
    25c740d View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    07740be View commit details
    Browse the repository at this point in the history
  6. Update protocol

    theomonnom committed Oct 24, 2024
    Configuration menu
    Copy the full SHA
    0c063d0 View commit details
    Browse the repository at this point in the history
  7. Configuration menu
    Copy the full SHA
    60b9ceb View commit details
    Browse the repository at this point in the history

Commits on Oct 25, 2024

  1. wip

    theomonnom committed Oct 25, 2024
    Configuration menu
    Copy the full SHA
    2f93661 View commit details
    Browse the repository at this point in the history