Subject: Re: [PROPOSED] Default to disabling ImageMagick
From: Paul Eggert <[email-masked]>
To: [email-masked]
Date: Mon, 13 May 2019 23:15:03 -0700
List-Id: <debbugs-submit.debbugs.gnu.org>

Paul Eggert wrote:

> At some point soon I plan to install the patch in Bug#33587#5

It wasn't soon, but I did install the patch just now. Closing the bug report.