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