Skip to content

update dependencies#102

Merged
fenollp merged 1 commit intomasterfrom
updeps
May 7, 2020
Merged

update dependencies#102
fenollp merged 1 commit intomasterfrom
updeps

Conversation

@fenollp
Copy link
Copy Markdown
Collaborator

@fenollp fenollp commented May 7, 2020

No description provided.

Signed-off-by: Pierre Fenoll <pierrefenoll@gmail.com>
@fenollp fenollp marked this pull request as ready for review May 7, 2020 15:31
@fenollp fenollp merged commit 12c8340 into master May 7, 2020
@fenollp fenollp deleted the updeps branch May 7, 2020 15:37
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