summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Restrict tests wrt bug #516686.Michael Palimaka2014-07-171-1/+4
* Version bump wrt bug #516046.Michael Palimaka2014-07-071-0/+49