Subject: Re: bug#32405: [PATCH] Turn misc objects into pseudovectors

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

Pip Cet wrote:
> I think you meant to delete this item (starting with @item misc-size) as well.

You're right, and thanks for mentioning that. Will do.