Subject: Re: Turning misc objects into pseudovectors

From: Paul Eggert <[email-masked]>
Date: Thu, 9 Aug 2018 10:22:46 -0700

Tom Tromey wrote:
> This seems reasonable to me.  Do you plan to land it soon?

Yes, in a day or two unless there are significant objections.