Comment by virgilp

Why are github issues not a proper ticket system? E.g. rust uses it, seems to work fine for them...