* editfns.c: (Fformat_time_string, Fencode_time, Finsert_char):