On Fri, 10 Jan 2020 13:57:17 -0500, John Hawkinson <jhawk@alum.mit.edu> wrote:

Has this diff been hand-edited? There does not appear to be a difference at line 65 (middle of the first hunk)? Or maybe something was lost though a copy/paste to email?

A space was lost in cut/paste (mi culpa).  In line 65, the extra space ("Reprinted in: ") was eliminated by Dr. Levine. $ sed -n -e 65p a/leap-seconds.list | od -c 0000000   #  \t  \t   r   e   p   r   i   n   t   e   d       i   n   : 0000020      \n 0000022 $ sed -n -e 65p b/leap-seconds.list | od -c 0000000   #  \t  \t   r   e   p   r   i   n   t   e   d       i   n   : 0000020  \n 0000021