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

[democracy] several fixes and enhancements #397

Merged
merged 8 commits into from
Jun 25, 2024
Merged

Commits on Jun 24, 2024

  1. Configuration menu
    Copy the full SHA
    d6f6f75 View commit details
    Browse the repository at this point in the history
  2. fix #392

    brenzi committed Jun 24, 2024
    Configuration menu
    Copy the full SHA
    ece348b View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    97af92b View commit details
    Browse the repository at this point in the history
  4. clippy

    brenzi committed Jun 24, 2024
    Configuration menu
    Copy the full SHA
    b8a930c View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    ba4c66f View commit details
    Browse the repository at this point in the history
  6. clippy

    brenzi committed Jun 24, 2024
    Configuration menu
    Copy the full SHA
    91b4df5 View commit details
    Browse the repository at this point in the history

Commits on Jun 25, 2024

  1. Configuration menu
    Copy the full SHA
    dd73629 View commit details
    Browse the repository at this point in the history
  2. review fixes

    brenzi committed Jun 25, 2024
    Configuration menu
    Copy the full SHA
    af23115 View commit details
    Browse the repository at this point in the history