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 GRUB with non-/boot ESP #2015

Merged
merged 5 commits into from
Sep 23, 2023
Merged

Fix GRUB with non-/boot ESP #2015

merged 5 commits into from
Sep 23, 2023

Commits on Aug 16, 2023

  1. Fix GRUB with non-/boot ESP 

    Fixes archlinux#2001
    @Weissnix4711
    Weissnix4711 committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    6fa4e0e View commit details
    Browse the repository at this point in the history

Commits on Sep 15, 2023

  1. Merge remote-tracking branch 'upstream/master' into grub-esp

    @Weissnix4711
    Weissnix4711 committed Sep 15, 2023
    Configuration menu
    Copy the full SHA
    5218d70 View commit details
    Browse the repository at this point in the history

Commits on Sep 22, 2023

  1. Merged latest master

    @Torxed
    Torxed committed Sep 22, 2023
    Configuration menu
    Copy the full SHA
    faccbe9 View commit details
    Browse the repository at this point in the history

  2. GRUB EFI fixes

    @Weissnix4711
    Weissnix4711 committed Sep 22, 2023
    Configuration menu
    Copy the full SHA
    82cd2e7 View commit details
    Browse the repository at this point in the history

Commits on Sep 23, 2023

  1. Fix flake8 and mypy

    @svartkanin
    svartkanin committed Sep 23, 2023
    Configuration menu
    Copy the full SHA
    e87bf50 View commit details
    Browse the repository at this point in the history