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 master to develop #951

Open
wants to merge 6 commits into
base: develop
Choose a base branch
from
Open

Merge master to develop #951

wants to merge 6 commits into from

Commits on Apr 22, 2022

  1. Configuration menu
    Copy the full SHA
    9e8ed84 View commit details
    Browse the repository at this point in the history

Commits on Aug 6, 2022

  1. Merge pull request #948 from eclipse/develop

    Merge develop to master
    rdasgupt authored Aug 6, 2022
    Configuration menu
    Copy the full SHA
    c06adb8 View commit details
    Browse the repository at this point in the history
  2. Merge pull request #926 from marco-kaeferbeck/bugfix/Issue-918_topic_…

    …matching_on_edge_cases
    
    added a testcase and fixed Issue-918
    rdasgupt authored Aug 6, 2022
    Configuration menu
    Copy the full SHA
    5d7dc22 View commit details
    Browse the repository at this point in the history
  3. Merge pull request #949 from eclipse/develop

    Merge develop to master
    rdasgupt authored Aug 6, 2022
    Configuration menu
    Copy the full SHA
    aa69bcc View commit details
    Browse the repository at this point in the history
  4. Merge pull request #950 from eclipse/develop

    Update pom.xml to fix build warning
    rdasgupt authored Aug 6, 2022
    Configuration menu
    Copy the full SHA
    f4e0db8 View commit details
    Browse the repository at this point in the history

Commits on Jan 19, 2024

  1. Configuration menu
    Copy the full SHA
    9c742c1 View commit details
    Browse the repository at this point in the history