Skip to content

added permutation package & changed baseline accordingly#66

Merged
SergeStinckwich merged 1 commit intoPolyMathOrg:developmentfrom
WernerK:development
Jul 8, 2018
Merged

added permutation package & changed baseline accordingly#66
SergeStinckwich merged 1 commit intoPolyMathOrg:developmentfrom
WernerK:development

Conversation

@WernerK
Copy link
Copy Markdown
Contributor

@WernerK WernerK commented Jul 7, 2018

is this the way one does these things???
werner

@WernerK
Copy link
Copy Markdown
Contributor Author

WernerK commented Jul 7, 2018

now git asks me whether to close the pull request. i guess i should press that button.

@WernerK WernerK closed this Jul 7, 2018
@SergeStinckwich
Copy link
Copy Markdown
Member

Werner, I reopen the PR. You should merge the pull request to the main development branch and not close directly this PR.

I think this is better that someone else than the one who create the PR, should merge. I will review your changes and then merge them if I'm find them ok.

@SergeStinckwich SergeStinckwich merged commit 52dab83 into PolyMathOrg:development Jul 8, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants