Skip to content
This repository has been archived by the owner on Aug 17, 2024. It is now read-only.

Cut off username properly #8

Merged
merged 1 commit into from
Oct 13, 2018
Merged

Conversation

def-
Copy link
Contributor

@def- def- commented Feb 1, 2018

^0 includes the null character...

^0 includes the null character...
@FedericoCeratto FedericoCeratto merged commit 5a1a6a9 into FedericoCeratto:master Oct 13, 2018
@FedericoCeratto
Copy link
Owner

Thank you

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