Aha, thanks for that. Those changes are not extensive, I'll just duplicate the
fix in my local repo. Probably 'easier' than mucking about with boost, from
where I'm sitting :)

What's the best way to get those changes into UberPOV permanently? Is it
possible to do some git magic to cherry pick those commits, or could I just
apply the fix on an UberPOV branch and push it myself?

Bill

(maybe I should start signing off as Bill P just to confuse everyone :D)

Post a reply to this message