On 04 Dec 2014, at 15:18, David Welton <davidnwelton@REDACTED> wrote: > > it would not be hard to automate that ourselves: > > https://api.github.com/repos/erlang/otp/tags Done :-) http://page2rss.com/rss/a3a08c62d3cf37ffbc111d3f03ec43d4 Grüße, Carsten