id Summary Status Keywords Owner Type Priority 10947 In filenames Filezilla replaces German umlaut with normal letter + diaresis marker new changes filenames Bug report critical 8051 Files with identical names except for the letter case are not distinguished when editing new editing, filenames, letter case Bug report normal