Denis Vlasenko 8d42f86b14 Correcting branch name to be like previous ones vor 18 Jahren
..
cmp-detects-difference 8d42f86b14 Correcting branch name to be like previous ones vor 18 Jahren