Op 20100701 om 12:45 schreef H. Peter Anvin: > On 07/01/2010 12:14 PM, Geert Stappers wrote: > > > > Attached the patch against the Lua git branch. > > > > What's the intended procedure -- merge master into lua and then apply > the patch? > Yes Cheers Geert Stappers