This forum (“category”) has been migrated from the mailing list at https://archives.skewed.de/hyperkitty/list/graph-tool@skewed.de/ All subscribed users are now “staged users” of this forum. This means that their identi…