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.