Davide Giannella Fri, 12 Aug 2016 06:13:45 -0700
Hello Team, the vote passes as follows:
+1 Alex Parvulescu +1 Amit Jain +1 Davide Giannella +1 Dominique Jaeggi +1 Michael Dürig +1 Vikas Saurabh Thanks for voting. I'll push the release out. -- Davide