On 2012-05-29 19:26, Daniel D. Daugherty wrote:
We didn't have a fix (after all, we're not working with the old build system) but Jonas created one now. I'll patch a webrev shortly.Thanks for spotting this... Do you happen to already have a suggested fix for this?
/Magnus
