[boost] [release] permission to merge Stephan's bootstrap changes?

I've manually verified Stephan's fix. May I merge https://svn.boost.org/trac/boost/changeset/86460 and end Stephan's suffering? See the extensive thread beginning at http://lists.boost.org/Archives/boost/2013/10/207525.php for the complete discussion (or as much of it as lists.boost.org currently has archived). -- Eric Niebler Boost.org http://www.boost.org