summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Stable for x86, wrt bug #419063Johannes Huber2012-08-081-2/+2
* Stable for amd64, wrt bug #419063Agostino Sarubbo2012-08-031-2/+2
* Bump to latest. Remove overshadowed version.Tomas Chvatal2012-03-081-0/+34