Subject: Close 32385 as duplicate of 28144
From: Chris Marusich <[email-masked]>
To: [email-masked]
Date: Thu, 09 Aug 2018 23:12:58 -0700
List-Id: <debbugs-submit.debbugs.gnu.org>

I'm closing this bug report, since I'm having trouble reproducing it
reliably, and in any case it seems to be a duplicate of 28144.

-- 
Chris