Subject: Re: portable dumper mishandles user-defined hashtabs

From: Paul Eggert <[email-masked]>
Date: Mon, 22 Jul 2019 19:06:12 -0700

Closing this as I installed a patch as described here:

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