On Tue, Nov 19, 2013 at 1:06 PM, Steven Watanabe <watanabesj@gmail.com> wrote:

On 11/19/2013 05:12 AM, Beman Dawes wrote:
> Presumably there are two ways to handle this:
> Option 1: Using svn, merge tools/build trunk to branches/release.
> Option 2: Using git, merge tools/build develop to master, and update boost
> super-project to point to the updated tools/build master branch.
> Who is planning to handle this? Steven?

I'll do it, now that the release is out.

> Which option do you prefer?

The merge is non-trivial, since there are some
changesets that span other libraries.  I'd
I'd much rather do this in svn, since I know
the commands.

OK, please go ahead and do that as soon as convenient.