[jgrapht-announce] jgrapht release 1.3.1 pre-announcement

[Joris K. <j.k...@gm...>]

We are in the process of finalizing the next release of jgrapht, version
1.3.1. The release is scheduled for next week. If you have any last-minute
changes you would like to make available for the upcoming release, then
this is the time to submit them (pull request or create a new issue).
Similarly, if you still have open PRs lingering around, please fix any
remaining comments.


br,

Joris Kinable