<josef.pktd <at> gmail.com> writes: > Now that the issues are on github, it looks like I lost my rights to > edit/assign labels and close tickets. That should be fixed now. Pauli