Time  Nick  Message
21:16 rangi did people forget to push the 18.05.12 and 17.11.18 tags to the git repo?
21:16 rangi morning