Boost logo

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 too


Boost-users list run by williamkempf at, kalb at, bjorn.karlsson at, gregod at, wekempf at