Skip to content

Cherry-picks from TomMD's PRs.#350

Merged
phadej merged 4 commits intomasterfrom
cherry-picks
Feb 17, 2019
Merged

Cherry-picks from TomMD's PRs.#350
phadej merged 4 commits intomasterfrom
cherry-picks

Conversation

@phadej
Copy link
Contributor

@phadej phadej commented Feb 17, 2019

No description provided.

@phadej phadej changed the title Commit position change Cherry-picks from TomMD's PRs. Feb 17, 2019
@phadej phadej merged commit 0c31bbd into master Feb 17, 2019
@phadej phadej deleted the cherry-picks branch February 17, 2019 21:09
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.

1 participant