Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Revert "Port fixes" #1249

Merged
merged 1 commit into from
Oct 31, 2017
Merged

Revert "Port fixes" #1249

merged 1 commit into from
Oct 31, 2017

Conversation

smadala
Copy link
Contributor

@smadala smadala commented Oct 31, 2017

Reverts #1236

  • Will raise new PR without xml document update fix.

@smadala
Revert "Port fixes (#1236)"
27fda0c 
This reverts commit dd361e4.
@smadala smadala requested review from codito and harshjain2 October 31, 2017 04:51
@smadala smadala merged commit ddf8a32 into rel/15.5 Oct 31, 2017
@smadala smadala deleted the revert-1236-port-fixes branch October 31, 2017 04:56
@smadala smadala mentioned this pull request Oct 31, 2017
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@harshjain2 harshjain2 harshjain2 approved these changes

@codito codito codito approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@smadala @codito @harshjain2