> On Aug 5, 2018, at 4:01 PM, Dirk Hohndel <dirk at hohndel.org> wrote: > > What's still not working is the iOS build and I'm not sure why... Fixed that one. /D