Subject: bug#21301: Fixed bug 21301

From: Glenn Morris <[email-masked]>
Date: Wed, 04 Nov 2015 11:40:19 -0500

Anders Lindgren wrote:

> I just pushed a fix for this, see

Then please close the bug report, eg by mailing 21301-done@debbugs.