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

reproduced edits by guimcdo #64

Merged
merged 1 commit into from
Jun 24, 2021
Merged

Conversation

davidp57
Copy link
Collaborator

Replaces PR #44 by @guimcdo ; please close this one after merging.


Hi @ciribob !
I've helped @guimcdo, he has no dev environment and it was not possible to rebase easily in the GitHub webUI.
Therefore I've created a new branch on my fork, and reproduced his (scarce) edits.
I'm available if you need additional information.

Cheers,
Zip.

@guimcdo
Copy link

guimcdo commented Jun 23, 2021

Thanks @davidp57

@ciribob
Copy link
Owner

ciribob commented Jun 24, 2021

Thank you both for this, I'll merge now

@ciribob ciribob merged commit c48ab69 into ciribob:master Jun 24, 2021
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.

3 participants