I'm happy to announce version 2.2.5 of graph-tool!
What is new?
That should have been 2.2.5 in the title, of course.
Cheers,