12 Oct
2017
12 Oct
'17
3:28 p.m.
On 12 October 2017 at 15:15, Marcel Raad via Boost <boost@lists.boost.org> wrote:
You want this commit: https://github.com/boostorg/config/commit/8c9e237f2666e6e89f82d1a0d378f8 6355c62668#diff-eac863c1d46c77471e54e8818aab7534
Marcel
Nice, thanks! Joël Lamotte