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