Hi, I met a issue when using git. I cannot delete the file by the commond 'git rm'. The file name is a little diff from common file. I accidentally named the file "filename\r", display such as filename^M. Then I commit the file by 'git add .'. After I find this mistake, I remove the file, then try to use commond "git rm" to delete the file, but failed. My git version is 1.7.9.5. Is this issue reported? If this issue is solved, could you tell me which version I should get. Thanks! Xiaofeng Chen 04/19/2018
