Skip to content

Conversation

@christopheNan
Copy link
Contributor

No description provided.

@Seluj78 Seluj78 added the NEED REVIEWER This PR needs a reviewer :) label Jun 19, 2019
@JulienPalard
Copy link
Member

C'est mergé et poussé a la main, je ferme la PR (dommage que git voit pas que c'est fait, j'devrais tenter la prochaine fois en mettant un closes #825 pour voir).

@christopheNan christopheNan deleted the fuzzy20190619 branch January 2, 2020 13:23
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

NEED REVIEWER This PR needs a reviewer :)

3 participants