Hi list,
I've created a pull request (https://github.com/usocket/usocket/pull/6) some time ago. Not knowing if it was the preferred way of submitting patches.
Should I append it to this list instead?
Thanks in advance, Sebastian
Hi, Sabastian
Sorry, I saw your pull request but didn’t handle it immediately because I was busy. By looking at your patch I think it’s totally reasonable. So I’ve merged it.
Thanks,
Chun
Il giorno 20/lug/2015, alle ore 08:58, Sebastian Christ rudolfo.christ@gmail.com ha scritto:
Hi list,
I've created a pull request (https://github.com/usocket/usocket/pull/6) some time ago. Not knowing if it was the preferred way of submitting patches.
Should I append it to this list instead?
Thanks in advance, Sebastian
Great. Thank you.
"Chun" == Chun Tian (binghe) binghe.lisp@gmail.com writes:
Chun> Hi, Sabastian Sorry, I saw your pull request but didn’t handle Chun> it immediately because I was busy. By looking at your patch I Chun> think it’s totally reasonable. So I’ve merged it.
Chun> Thanks,
Chun> Chun
Chun> Il giorno 20/lug/2015, alle ore 08:58, Sebastian Christ Chun> rudolfo.christ@gmail.com ha Chun> scritto:
>> >> Hi list, >> >> I've created a pull request >> (https://github.com/usocket/usocket/pull/6) some time ago. Not >> knowing if it was the preferred way of submitting patches. >> >> Should I append it to this list instead? >> >> Thanks in advance, Sebastian >> >>
-
Chun Tian (binghe) -
Sebastian Christ