Subject: done
From: Tom Tromey <[email-masked]>
To: [email-masked]
Cc: [email-masked]
Date: Sat, 14 Jan 2017 10:46:43 -0700
List-Id: <debbugs-submit.debbugs.gnu.org>

These were both fixed by 05fe74bec239bebea84cb6803120321c367d67d3.

Tom