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.

Sign up for GitHub

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

Jump to bottom

Update or remove(if appropriate) incorrect defaults. #77

Merged
merged 3 commits into from
Jan 19, 2024
Merged

Update or remove(if appropriate) incorrect defaults. #77

merged 3 commits into from
Jan 19, 2024

Commits on Jan 19, 2024

  1. Remove incorrect defaults

    @bugadani
    bugadani committed Jan 19, 2024
    Configuration menu
    Copy the full SHA
    201cdee View commit details
    Browse the repository at this point in the history

  2. sigh

    @bugadani
    bugadani committed Jan 19, 2024
    Configuration menu
    Copy the full SHA
    2f828c0 View commit details
    Browse the repository at this point in the history

  3. Bump version number 

    Keeping the minor version in synch with probe-rs. Also, this will trigger a publish to the marketplace.
    @noppej
    noppej authored Jan 19, 2024
    Configuration menu
    Copy the full SHA
    fd447ce View commit details
    Browse the repository at this point in the history