Merge pull request #7131 from JosJuice/android-case-insensitive-sort Android: Use case insensitive sorting in game list
