Skip to content

D->M#128

Merged
20 commits merged intomainfrom
develop
May 18, 2022
Merged

D->M#128
20 commits merged intomainfrom
develop

Conversation

@bio-boris
Copy link
Copy Markdown
Contributor

  • I updated the README.md docs to reflect this change.

For changes to the codebase:

  • I have written tests to cover this change.
  • This is not a breaking API change OR
  • This is a breaking API change and I have incremented the API version and added a summary to CHANGELOG.md.

@bio-boris bio-boris requested a review from ialarmedalien as a code owner May 18, 2022 19:31
@bio-boris bio-boris requested a review from a user May 18, 2022 19:31
Copy link
Copy Markdown

@ghost ghost left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM.
(No intermittent failure!)

@ghost ghost merged commit a8cb1c2 into main May 18, 2022
This pull request was closed.
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.

2 participants