Request: update ppa for bionic
Hi, recently I updated to Ubuntu 18.04.1/Bionic. Since it has been some time since release, most software/ppas are working. However the repo for graph-tool at skewed.de doesn't have a release/file for bionic. Maybe the xenial repo entry would just work, but ideally the repo could also provide an entry for bionic.