On 9/1/20 6:59 AM, David Anderson wrote:
Mike Eager: please delete the new issue 200831.1 as it is simply wrong.
Done. -- Michael Eager _______________________________________________ Dwarf-Discuss mailing list Dwarf-Discuss@lists.dwarfstd.org http://lists.dwarfstd.org/listinfo.cgi/dwarf-discuss-dwarfstd.org
