Subject: Re: Processed: bug#22112

From: Glenn Morris <[email-masked]>
Date: Fri, 08 Jan 2016 19:45:20 -0500

GNU bug tracker automated control server wrote:

> Processing commands for [email-masked]:
>
>> close 22112 25.1.50.1

It's not worth changing now, but the right version number to use would
be "25.1", since that is the first release in which this will be fixed.

"25.1.50" is a fairly meaningless development version that applies to a
huge range of git revisions. The final ".1" is a build number that is
irrelevant.