Skip to content
This repository has been archived by the owner on Nov 15, 2023. It is now read-only.

Easy PR: Fix warnings from latest nightly #14195

Merged
merged 3 commits into from
May 23, 2023
Merged

Easy PR: Fix warnings from latest nightly #14195

merged 3 commits into from
May 23, 2023

Commits on May 23, 2023

  1. unneeded mut

    @gilescope
    gilescope committed May 23, 2023
    Configuration menu
    Copy the full SHA
    a3cc61e View commit details
    Browse the repository at this point in the history

  2. remove needless borrows

    @gilescope
    gilescope committed May 23, 2023
    Configuration menu
    Copy the full SHA
    fe93c7b View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' into giles-fix-warnings

    @gilescope
    gilescope authored May 23, 2023
    Configuration menu
    Copy the full SHA
    3e504d6 View commit details
    Browse the repository at this point in the history