|
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] |