On Mon, Jan 25, 2016 at 2:24 PM, Greg Troxel <gdt%ir.bbn.com@localhost> wrote: > > Perhaps an UPDATING section in README.OSX is in order; that workaround > to full rebootstrapping is very easy/non-invasive. It's not only OSX ... > (And probaly make replace would work too.) ... and no. Tried it, didn't work :) -- Joern Clausen http://www.oe-files.de/photography/