Avi Kivity <avi@xxxxxxxxxxxx> writes: > Ian Lance Taylor wrote: > >> I could not find any documentation of this in the user's manual. Is > >> it new glasses time or shall I file a PR? > >> > > > > I suspect that it is undocumented in the user manual. It is > > documented in the internals manual. I think a PR or a patch would be > > appropriate (I haven't checked to see whether there already is one). > > > > I'll look at preparing a patch. I have zero info experience but much > can be taken from the internals manual. I presume no copyright > assignment is needed? For a small change (typically less than 10 lines) a copyright assignment is not required. For a larger change, an assignment would be required. Just moving text around would be a grey area. I'm not sure what the requirements would be. Ian
