der Mouse writes:
> >     const char *buffer = "12 AM";	/* noon */
> 
> Aren't 12:00 times considered to belong to the following, not
> preceding, 12-hour interval?  That is, isn't 12 AM midnight, rather
> than noon?

12AM is indeed 00:00, not 12:00. 12PM is 12:00.

> Or is there some standard that says otherwise?  The PR doesn't give any
> pointer to any such....
> 
> 					der Mouse
> 
> 			       mouse@rodents.montreal.qc.ca
> 		     7D C8 61 52 5D E7 2D 39  4E F1 31 3E E8 B3 27 4B