On 11/23/2009 01:23 AM, Bernhard Reutner-Fischer wrote: > Good idea. > Is there something preventing a rename of nptl_merge -> nptl now? Done. nptl_merge is now nptl. -Austin