No matches were found for subject:"\[git\-users\] Why does \"git log \-G<regex>\" works with \"regexp\-ignore\-case\" but not with other regexp\-related options\?"