Re: Ignoring subdirectories in daily's find_core

[Matthew Mondor <mm_lists%pulsar-zone.net@localhost>]

On Fri, 27 Jul 2012 15:34:32 +0200
Edgar Fuß <ef%math.uni-bonn.de@localhost> wrote:

> So, what about integrating the attached patch?

Could you please file a PR so that this doesn't get lost, and that a
possible eventual pullup (if needed) could reference it?  It would be
nice to also follow-up Jean-Yves's approval comment.

If this already has been commited, then I'm sorry, please ignore this.

Thanks,
-- 
Matt