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 main into develop #4727

Merged
merged 7 commits into from
Aug 6, 2023
Merged

Merge main into develop #4727

merged 7 commits into from
Aug 6, 2023

Commits on Aug 6, 2023

  1. release 4.3.5

    Signed-off-by: Håvard Ottestad <[email protected]>
    hmottestad committed Aug 6, 2023
    Configuration menu
    Copy the full SHA
    72abc85 View commit details
    Browse the repository at this point in the history
  2. next development iteration: 4.3.6-SNAPSHOT

    Signed-off-by: Håvard Ottestad <[email protected]>
    hmottestad committed Aug 6, 2023
    Configuration menu
    Copy the full SHA
    ec0a4a0 View commit details
    Browse the repository at this point in the history
  3. javadocs for 4.3.5

    Signed-off-by: Håvard Ottestad <[email protected]>
    hmottestad committed Aug 6, 2023
    Configuration menu
    Copy the full SHA
    9512a5d View commit details
    Browse the repository at this point in the history
  4. news item and release-notes if relevant for 4.3.5

    Signed-off-by: Håvard Ottestad <[email protected]>
    hmottestad committed Aug 6, 2023
    Configuration menu
    Copy the full SHA
    48daad3 View commit details
    Browse the repository at this point in the history
  5. update release info

    hmottestad committed Aug 6, 2023
    Configuration menu
    Copy the full SHA
    8e3260a View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    f88a2d4 View commit details
    Browse the repository at this point in the history
  7. Configuration menu
    Copy the full SHA
    bf6d0b0 View commit details
    Browse the repository at this point in the history