6 Jan
2013
6 Jan
'13
4:25 p.m.
On 1/5/2013 8:12 PM, Hartmut Kaiser wrote:
I somehow missed to merge one commit from trunk to the release branch (see attached). May I commit this to fix a compilation problem in Spirit?
The patch is very low risk as it just renames a parameter.
Hi Hartmut, a question: what is the changeset number for this commit?
It was rev. 80815 which got partially merged only, don't ask how this happened.
How did this happen? Just kidding. ;-) Yeah, go ahead and merge. Thanks, Hartmut. -- Eric Niebler BoostPro Computing http://www.boostpro.com