Boost Users :
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
Boost-users list run by williamkempf at hotmail.com, kalb at libertysoft.com, bjorn.karlsson at readsoft.com, gregod at cs.rpi.edu, wekempf at cox.net