Subject: [email-masked] should select 4.1.x, not 4.13.x
From: Mark H Weaver <[email-masked]>
To: [email-masked]
Date: Wed, 13 Sep 2017 11:07:32 -0400
List-Id: <debbugs-submit.debbugs.gnu.org>

Currently, the package specification "[email-masked]" selects version
4.13.  It should instead select version 4.1.

      Mark