[jgrapht-users] upcoming jgrapht 1.5.1 release

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

Hi all,
It's that time of the year again: spring! Which means it's time to release
the next version of jgrapht (1.5.1). If you have any last minute changes,
open reviews, stuff you really want to squeeze into the next release: this
is the moment! Submit/finish those PRs, or push your peers to finish theirs
:). All contributions must be merged by Thursday March 18.

Joris Kinable