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? -hpa