Alexandre Oliva writes: > On Dec 3, 2010, Ian Lance Taylor wrote: > >> It currently requires a copyright license agreement. > > IIRC the agreement is a patent license as well, so describing it as a > copyright license agreement isn't accurate either. I think just > “license agreement” would be fine. Thanks. I committed the following. Ian