Tag GLPK v0.2.12
Merge pull request #1533 from carlobaldassi/pull-request/26f57289

Tag GLPK v0.2.12