Fixes #4157: make ordering case insensitive
Merge pull request #439 from ncharles/bug_4157/dev/make_ordering_case_insensitive

Fixes #4157: make ordering case insensitive
Merge branch 'branches/rudder/2.6' into branches/rudder/2.8
Merge branch 'branches/rudder/2.8' into branches/rudder/2.9