Git bug??? -- Remove duplicate ChangeLog entries