Please delete this repository! It's not the official one and it's confusing people. #12
Description
A lot of people are posting upstream issues here, but this is just a random clone of the official repository done 9 years ago.
The actual official repository is here: https://git.skewed.de/count0/graph-tool
If you want the developers to actually see your issues, please post there!
Please delete this repository, since it serves no purpose other than mislead people.