Skip to content

Fix post-5.12 release work#4571

Merged
TheMarex merged 2 commits intomasterfrom
5_12_fixup
Oct 5, 2017
Merged

Fix post-5.12 release work#4571
TheMarex merged 2 commits intomasterfrom
5_12_fixup

Conversation

@TheMarex
Copy link
Copy Markdown
Member

@TheMarex TheMarex commented Oct 4, 2017

Issue

Fixes part of #4497

Tasklist

  • review
  • adjust for comments

@TheMarex TheMarex requested a review from danpat October 4, 2017 17:37
@TheMarex TheMarex added the Review label Oct 4, 2017
@TheMarex TheMarex removed the Review label Oct 5, 2017
@TheMarex TheMarex merged commit d23a5fc into master Oct 5, 2017
@TheMarex TheMarex deleted the 5_12_fixup branch October 5, 2017 16:14
@daniel-j-h daniel-j-h mentioned this pull request Oct 9, 2017
7 tasks
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