<div dir="ltr">On Sun, Nov 26, 2017 at 1:13 AM, Dirk Hohndel <span dir="ltr"><<a href="mailto:dirk@hohndel.org" target="_blank">dirk@hohndel.org</a>></span> wrote:<br><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">For those not subscribed to the changes on GitHub, a lot is going on. Berthold, Lubomir, Jan, and Stefan are all on a role. 72 commits from the four of them in two weeks.<br>
In the meantime Anton and I reworked our Travis CI support. We now have continuous builds of all of our platforms for every PR as well as every merge / push. Including Android and Mac (both of those are unsigned which makes them slightly harder to use). <br></blockquote><div><br></div><div>This is such good news!  Fantastic work everyone!</div><div><br></div><div>Henrik<br></div></div></div></div>