|
| 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/
| [Prev in Thread] | Current Thread | [Next in Thread] |