Closed zeritti closed 4 years ago
Thanks a lot for your effort. I will merge this and add you to the authors list. If you like you could provide us your realname otherwise we will list you with your GitHub user name.
Many thanks for the merge, indeed! I'll be quite happy with my GitHub name being listed.
Thanks a lot for your effort. I will merge this and add you to the authors list. If you like you could provide us your realname otherwise we will list you with your GitHub user name.