Closed tripu closed 6 years ago
Two separate small changes:
Thanks @tripu.
We only use this for general coordination, so it is probably not that important (both HTML files are out of date afaik).
Two separate small changes: