-----Original Message-----
From: Boost
I naively did what I normally do to update to current develop branch
git checkout develop git pull --recurse-submodules git submodule update --init
followed by a boostrap.bat
and b2 -a headers
but perhaps that doesn't prune dead branches?
`git submodule update --init` creates directories as needed for new modules, but it doesn't delete directories as needed (for removed modules.) OK - it's a feature. We don't do deleting often, so it won't bite many people, and Google should help them find out what to do from this conversation. Thanks Paul