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

merge queue: embarking main (f04de6b) and #4154 together #4177

Closed
wants to merge 5 commits into from

Commits on Sep 12, 2023

  1. Configuration menu
    Copy the full SHA
    c349afe View commit details
    Browse the repository at this point in the history
  2. wip

    polamoros committed Sep 12, 2023
    Configuration menu
    Copy the full SHA
    70e4ae9 View commit details
    Browse the repository at this point in the history
  3. wip

    polamoros committed Sep 12, 2023
    Configuration menu
    Copy the full SHA
    c5e75bf View commit details
    Browse the repository at this point in the history

Commits on Sep 13, 2023

  1. wip

    polamoros committed Sep 13, 2023
    Configuration menu
    Copy the full SHA
    98b7e82 View commit details
    Browse the repository at this point in the history

Commits on Sep 14, 2023

  1. Merge of #4154

    mergify[bot] authored Sep 14, 2023
    Configuration menu
    Copy the full SHA
    6a4a1dd View commit details
    Browse the repository at this point in the history