2017-09-19 Alpar Juttner Merge bugfix #607 to branch 1.2 1.2 tip
2017-09-08 Peter Kovacs Fixes in API doc of DIMACS reader methods default
2017-09-08 Peter Kovacs Bug fix in DIMACS reader (#607)