bug-make
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[bug #52076] wildcard/glob should be sorted


From: Martin Dorey
Subject: [bug #52076] wildcard/glob should be sorted
Date: Thu, 21 Sep 2017 10:07:36 -0400 (EDT)
User-agent: Mozilla/5.0 (iPhone; CPU iPhone OS 10_3_3 like Mac OS X) AppleWebKit/603.1.30 (KHTML, like Gecko) CriOS/61.0.3163.73 Mobile/14G60 Safari/602.1

Follow-up Comment #4, bug #52076 (project make):

There must have been discussion about changing that setting, then removing it,
documenting it and reapplying it.  Perhaps I even vaguely remember it?  You'd
think it'd be easy enough to find.  I did but I've spent a good ten minutes
trying to find it to no avail.  It's so easy when a check-in cites a bug
number.

    _______________________________________________________

Reply to this item at:

  <http://savannah.gnu.org/bugs/?52076>

_______________________________________________
  Message sent via/by Savannah
  http://savannah.gnu.org/




reply via email to

[Prev in Thread] Current Thread [Next in Thread]