Skip to content

Feature/init measure set#565

Merged
tovogt merged 6 commits intodevelopfrom
feature/init_measure_set
Nov 1, 2022
Merged

Feature/init measure set#565
tovogt merged 6 commits intodevelopfrom
feature/init_measure_set

Conversation

@tovogt
Copy link
Copy Markdown
Collaborator

@tovogt tovogt commented Oct 26, 2022

Changes proposed in this PR:

PR Author Checklist

PR Reviewer Checklist

@chahank
Copy link
Copy Markdown
Member

chahank commented Oct 28, 2022

Looks good to me.

@tovogt tovogt force-pushed the feature/init_measure_set branch from f665c5a to db46489 Compare October 28, 2022 13:20
@tovogt tovogt merged commit a30c044 into develop Nov 1, 2022
@tovogt tovogt deleted the feature/init_measure_set branch November 1, 2022 07:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants