Dir filtering: would miss results if the filtered-for directory was partly upper-case and had a lower-case quasi-homonym

This commit is contained in:
Jean-Francois Dockes
2018-01-08 14:19:48 +01:00
parent de1848931b
commit e39b27e920
5 changed files with 54 additions and 24 deletions
+1 -1
View File
@@ -1 +1 @@
1.23.6
1.23.7