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

fix warnings found when running check/doc commands #779

Merged
merged 4 commits into from
Jul 23, 2024
Merged

fix warnings found when running check/doc commands #779

merged 4 commits into from
Jul 23, 2024

Commits on Jul 22, 2024

  1. fix warnings found when running check/doc commands

    @GlenDC
    GlenDC committed Jul 22, 2024
    Configuration menu
    Copy the full SHA
    8a7782c View commit details
    Browse the repository at this point in the history

  2. push_back was only added in 0.3.22 of futures

    @GlenDC
    GlenDC committed Jul 22, 2024
    Configuration menu
    Copy the full SHA
    d93a592 View commit details
    Browse the repository at this point in the history

  3. remove leading carrot

    @GlenDC
    GlenDC committed Jul 22, 2024
    Configuration menu
    Copy the full SHA
    e18bff2 View commit details
    Browse the repository at this point in the history

Commits on Jul 23, 2024

  1. Merge branch 'master' into fix/warnings

    @tobz
    tobz authored Jul 23, 2024
    Configuration menu
    Copy the full SHA
    d91b858 View commit details
    Browse the repository at this point in the history