Re: [Bug-glpk] glp_version returns wrong information

[Andrew Makhorin]

Hi Heinrich,

>  > 4.52.1 is an exception. I made this release only to fix a bug concerning
>  > version information used in Debian GNU/Linux. Actually, 4.52.1 is
>  > identical to 4.52, so there is no need to use 4.52.1 by anyone other
>  > than a Debian maintainer.
> the release contains other changes too, e.g. in the following files
> /src/proxy/proxy.c
> /src/glpcpx.c
> 

Formally you are right. These, however, are minor changes not affecting
the functionality. I hope this issue will not happen in the future.

Best,

Andrew Makhorin