No matches were found for subject:"Bug#701818\: avoid \^M if stdout is not a terminal\?"