Subject: Re: portable dumper mishandles user-defined hashtabs
From: Paul Eggert <[email-masked]>
To: [email-masked]
Date: Mon, 22 Jul 2019 19:06:12 -0700
List-Id: <debbugs-submit.debbugs.gnu.org>

Closing this as I installed a patch as described here:

https://lists.gnu.org/r/emacs-devel/2019-07/msg00563.html