On 18-09-17 17:47, Dirk Hohndel wrote: > Thanks. The Android one is clearly from latest master. We should output > the full version on the desktop as well, just to make things easier. I > assume that's latest master, too? Correct. All latest master. --jan