arXiv: create an issue in GitHub

Provide a button to create new issue in GitHub

Verze ze dne 11. 08. 2020. Zobrazit nejnovější verzi.

Seznam verzí skriptu, při kterých došlo ke změnám v kódu. Zobrazit všechny verze.