digits_to_date_time  986 maint/gnulib/lib/parse-datetime.y       { digits_to_date_time (pc, $1); }
digits_to_date_time  994 maint/gnulib/lib/parse-datetime.y         digits_to_date_time (pc, $1);