On 06/26/2018 01:48 PM, Hak wrote: > sorry, maybe I'm too tired but I've just went back to 'git clone ...' and now I can't apply the patches anymore I checked in the other patches, so you shouldn't need to apply them. -- --Per Bothner per at bothner.com http://per.bothner.com/