[jgrapht-developers] JGraphT Version 0.7.1 Released

[John V. S. <js...@gm...>]

This is a maintenance release which includes a number of bugfixes and
contributions which have accumulated since the 0.7.0 release.

Many thanks to all who have contributed code, tests, bugs, bugfixes,
questions, and answers!

JVS