Skip to content

Pgrimaud master #69

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
Merged
merged 1 commit into from
Apr 30, 2020
Merged

Pgrimaud master #69

merged 1 commit into from
Apr 30, 2020

Conversation

@ondrajodas
Copy link
Contributor

@ondrajodas ondrajodas commented Apr 30, 2020 •
edited
Loading

Based on #68

@ondrajodas ondrajodas marked this pull request as ready for review April 30, 2020 09:28
@ondrajodas ondrajodas requested a review from tomasfejfar April 30, 2020 09:28
@ondrajodas ondrajodas merged commit 49af27d into master Apr 30, 2020
@ondrajodas ondrajodas deleted the pgrimaud-master branch April 30, 2020 11:08
@tomasfejfar
Copy link
Contributor

tomasfejfar commented Apr 30, 2020

You cherrypicked the commit, right? That was not necessary. You could have just created a branch on the original commit and push (JFYI)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@tomasfejfar tomasfejfar tomasfejfar 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

@ondrajodas @tomasfejfar @pgrimaud