summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* workaround for bug 399061Agostino Sarubbo2012-11-161-2/+6
* Bump to latest version.Tomas Chvatal2012-09-271-0/+56