Skip to content
This repository was archived by the owner on Jan 30, 2023. It is now read-only.

sync with 38d351a #17

Merged
merged 1 commit into from
Mar 7, 2018
Merged

sync with 38d351a #17

merged 1 commit into from
Mar 7, 2018

Conversation

gbprod
Copy link
Contributor

@gbprod gbprod commented Feb 22, 2018

@dzc34
Copy link
Contributor

dzc34 commented Feb 22, 2018

commentaires sur le commit de la version en anglais... :(

@dzc34 dzc34 merged commit b96d517 into sebastianbergmann:master Mar 7, 2018
@dzc34
Copy link
Contributor

dzc34 commented Mar 7, 2018

j'ai relu en diagonal. ;)

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants