Subject: fixed
From: Tom Tromey <[email-masked]>
To: [email-masked]
Date: Tue, 22 Dec 2015 16:56:08 -0700
List-Id: <debbugs-submit.debbugs.gnu.org>

I checked in a fix for this on the emacs-25 branch.

Tom