Skip to content

Merge master back to develop#3063

Merged
ebuchman merged 3 commits intodevelopfrom
master
Dec 21, 2018
Merged

Merge master back to develop#3063
ebuchman merged 3 commits intodevelopfrom
master

Conversation

@ebuchman
Copy link
Contributor

@ebuchman ebuchman commented Dec 21, 2018

Note this commit already exists on develop. But I'm not sure what to do in such cases, so I think this is ok.

  • Updated all relevant documentation in docs
  • Updated all code comments where relevant
  • Wrote tests
  • Updated CHANGELOG_PENDING.md

melekes and others added 3 commits December 21, 2018 16:28
@ebuchman ebuchman requested a review from melekes as a code owner December 21, 2018 21:37
@ebuchman ebuchman merged commit a88e283 into develop Dec 21, 2018
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