ngompa commented on the pull-request: `Remove tildes from goname` that you are following:
They should not. If it's in the name field, it's like any other character, as far
as I know. @pmatilai, @ffesti, or @ignatenkobrain would know for sure, though.
To reply, visit the link below or just reply to this email