292
293
if (current_format_args.second_part_index == 0) /* A time must have seconds. */
293
294
known_date_formats.push_back(tmp);
296
296
if (current_format_args.second_part_index > 0) /* A time must have seconds, but may not have minutes or hours */