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

consolidate version information #32973

Merged
merged 4 commits into from
Jul 18, 2023
Merged

Commits on Jul 17, 2023

  1. unify version information

    Instead of having two different places where we keep the current version
    which must be manually kept in sync, let's use the same one that the
    release process uses (version/VERSION).
    
    Local builds will remain tagged with -dev by default, and we'll
    disable this behavior with a linker flag at release time.
    radditude committed Jul 17, 2023
    Configuration menu
    Copy the full SHA
    49e308e View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    11a68ea View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    16ae079 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    1e2a6be View commit details
    Browse the repository at this point in the history