On Tue, 3 Jul 2012, Mike Frysinger wrote: > Now that it's been merged back into mainline, we don't want to ignore > the dir anymore. Please commit. (I'd say this is obvious.) -- Joseph S. Myers joseph@codesourcery.com