29 Aug
2018
29 Aug
'18
3:35 p.m.
On 8/29/18 8:12 AM, Edward Diener via Boost wrote:
This would make everyone's life easier.
Forcing end-users to build Boost themselves is not user friendly.
Right. So let's fix THAT!
Robert Ramey
_______________________________________________ Unsubscribe & other changes: http://lists.boost.org/mailman/listinfo.cgi/boost