* libc/time/asctime_r.c (asctime_r): Change output format. Day of month is now padded with space, not zero. This now conforms to ANSI standard.