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

7.12.2 #4409

Merged
merged 2 commits into from
Aug 11, 2023
Merged

7.12.2 #4409

merged 2 commits into from
Aug 11, 2023

Commits on Aug 11, 2023

  1. 7.12.2 

    Signed-off-by: Benjamin Gaussorgues <[email protected]>
    @Altahrim
    Altahrim committed Aug 11, 2023
    Configuration menu
    Copy the full SHA
    fa2b41e View commit details
    Browse the repository at this point in the history

  2. fix(ci): Set github user after project was moved 

    Signed-off-by: Ferdinand Thiessen <[email protected]>
Signed-off-by: Benjamin Gaussorgues <[email protected]>
    @susnux @Altahrim
    susnux authored and Altahrim committed Aug 11, 2023
    Configuration menu
    Copy the full SHA
    c546467 View commit details
    Browse the repository at this point in the history