From: Dmitrij V (dmxvlx_at_[hidden])
Date: 2019-09-28 02:31:26


Martijn Otto wrote:
> I could make a pull-request to implement these changes, if so desired.

+1, changes + documentation on its, please :)

> Does this have any change of getting merged?

Oh, that is not in my authority, but please, send the PR into
https://github.com/chriskohlhoff/asio too

--
regards