September 8, 2019 1:29 AM, "Nadim Kobeissi" <nadim at symbolic.software> wrote: > Nevermind, looks like I had forgotten to commit some changes -- pushing now. > Yea, fixed. Now much better. (mike)