Am 25.10.2015 um 06:19 schrieb Scott Kostyshak:
On Fri, Oct 23, 2015 at 06:13:03PM +0200, Vincent van Ravesteijn wrote:I have it documented somewhere. Should I put it in development.lyx ?If you are able to find it easily then I would say yes, please do. Even though Peter already did the update it could be useful in the future. Scott
Just call in boost extract.sh with the path to the new boot version, then "git add --all", commit. That's it. Peter