
5 Jan
2013
5 Jan
'13
11:25 p.m.
On 1/5/2013 12:28 PM, Hartmut Kaiser wrote:
Hey,
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? -- Eric Niebler BoostPro Computing http://www.boostpro.com