Closed adler-j closed 7 years ago
Short note: perhaps give push rights to me so you don't need to review trivial stuff like this (unless you prefer reading it :D)
Done. You should also now have been invited to collaborate with push rights. Not that I mind reading all of the changes but still... ;)
Short note: perhaps give push rights to me so you don't need to review trivial stuff like this (unless you prefer reading it :D)