On Friday, May 29, 2015 14:05:43 Pierre Abbat wrote: > That would explain it. The latest change in the git log is dated May 28 > 08:54:09 2015 -0700. I pulled the repo yesterday, tried to build it, got the > error, and didn't try it again because of a thunderstorm, then tried again > today.
I updated and built again, successfully. Pierre -- li fi'u vu'u fi'u fi'u du li pa
