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 _______________________________________________ Bug-glpk mailing list [email protected] https://lists.gnu.org/mailman/listinfo/bug-glpk
