Subject: Re: [boost] Master branch open for merging
From: Marshall Clow (mclow.lists_at_[hidden])
Date: 2019-03-29 14:55:52
On Thu, Mar 28, 2019 at 4:30 PM Vinnie Falco via Boost <
> I have some documentation tidying:
> OK to merge?
Not just for Vinnie, but documentation improvements are always OK to merge.
You don't need to ask about them.
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk