Skip to content

Merge master in develop#481

Merged
akorosov merged 24 commits intodevelopfrom
merge_master_in_develop
Oct 13, 2020
Merged

Merge master in develop#481
akorosov merged 24 commits intodevelopfrom
merge_master_in_develop

Conversation

@akorosov
Copy link
Copy Markdown
Member

Merges hotfix479-new-docker into develop

@akorosov akorosov requested a review from tdcwilliams October 13, 2020 07:32
@akorosov
Copy link
Copy Markdown
Member Author

@tdcwilliams , can you approve this PR ? It is just merging master into develop.

Copy link
Copy Markdown
Contributor

@tdcwilliams tdcwilliams left a comment

Choose a reason for hiding this comment

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

looks ok - some minor typos in readme to fix

Comment thread README_docker.md Outdated
Comment thread README_docker.md Outdated
Comment thread README_docker.md Outdated
Comment thread README_docker.md Outdated
Comment thread README_docker.md Outdated
akorosov and others added 5 commits October 13, 2020 10:47
Co-authored-by: Timothy Williams <tdcwilliams@gmail.com>
Co-authored-by: Timothy Williams <tdcwilliams@gmail.com>
Co-authored-by: Timothy Williams <tdcwilliams@gmail.com>
Co-authored-by: Timothy Williams <tdcwilliams@gmail.com>
Co-authored-by: Timothy Williams <tdcwilliams@gmail.com>
@akorosov akorosov merged commit 2035bf3 into develop Oct 13, 2020
@akorosov akorosov deleted the merge_master_in_develop branch October 13, 2020 08:48
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