ivan.miljenovic:

Martin Erwig writes:

...

Dear FGL users and contributors,

The FGL seeks a new home. I don't really have the time anymore to maintain the FGL and add new components at a level that it deserves. I am therefore looking for someone (or a group of people) who would be interested in taking over the maintenance and future development.

Anybody interested?

I'm willing to help out.

I was hoping you'd make that offer, Ivan, given all the graph stuff you work on. You'd be the best person I think, as you care about graph code. -- Don