5 Sep
2017
5 Sep
'17
2:07 p.m.
On 05/09/2017 9:42, dariomt via Boost-users wrote:
Boost - Users mailing list wrote
On 04/09/2017 15:06, dariomt--- via Boost-users wrote:
No, sorry no work has been done, but thanks for the ping.
Best,
Ion
Hi Ion,
Can't make any promises, but, if I manage to allocate some time to do this, would you be willing to accept a PR?
Of course. If I find time, before I start doing anything, I'll ping you just to avoid duplicated efforts. Ion