Skip to content

Conversation

@ewoutkramer
Copy link
Member

@ewoutkramer ewoutkramer commented Apr 7, 2021

Description

Made some extensions on ElementDefinitionNavigator public since there is potential for re-use

FirelyTeam Checklist

  • Update the title of the PR to be succinct and less than 50 characters
  • Mark the PR with the label breaking change when this PR introduces breaking changes

@ewoutkramer ewoutkramer changed the title Made some extensions on ElementDefinitionNavigator public (for R3) Made some extensions public (for R3) Apr 7, 2021
@marcovisserFurore marcovisserFurore changed the title Made some extensions public (for R3) Made some extensions of ElementDefinitionNavigator public (for R3) Apr 7, 2021
@marcovisserFurore marcovisserFurore merged commit de00000 into develop-stu3 Apr 7, 2021
@marcovisserFurore marcovisserFurore deleted the feature/make-some-nav-extensions-public branch April 7, 2021 15:26
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