At 06:40, Ted Unangst <[email protected]> wrote:
> A simple mistake not easily corrected, but of no consequence.

Thanks — this is what I was hoping would be the case.

Reply via email to