6 Jan
2013
6 Jan
'13
5:03 p.m.
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.
Done (rev. [83276]). Thanks! Regards Hartmut --------------- http://boost-spirit.com http://stellar.cct.lsu.edu