Well, maybe open an issue or do a pull request. It seems like a 5-15minute task 
for someone (plus probably waiting hours on the CI).

Reply via email to