Update 1.4.2

Update 1.4.2 (aka 1.4.2.0) seems to be an update for at least Android and iOS with various bug fixes, and has already been released to some of the app stores. It started rolling out May 23, 2018. and.

The specifics of the bugs fixed are not documented yet.