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.

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

doc: improve documentation while preparing the MadridJUG meetup #3141

Merged
merged 1 commit into from
Oct 7, 2019

Conversation

monperrus
Copy link
Collaborator

No description provided.

@monperrus
Copy link
Collaborator Author

anybody to review and merge before the meetup at 7pm CET?

@nharrand
Copy link
Collaborator

nharrand commented Oct 7, 2019

Sure. I'm on it!

@monperrus
Copy link
Collaborator Author

cool!

@nharrand
Copy link
Collaborator

nharrand commented Oct 7, 2019

LGTM!

@nharrand nharrand merged commit 3f9103c into INRIA:master Oct 7, 2019
@monperrus
Copy link
Collaborator Author

Thanks!

@monperrus monperrus mentioned this pull request Nov 6, 2019
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.

2 participants