Subject: works for me
From: Tom Tromey <[email-masked]>
To: [email-masked]
Date: Mon, 06 Feb 2017 20:43:00 -0700
List-Id: <debbugs-submit.debbugs.gnu.org>

I tried this and it works for me, so I'm closing this bug.

Tom