mypy rightly issues some complaints about master. I have verified that those complaints do not cause problems in the affected code, so I see no reason to change the release.I have already fixed those complaints in devel.
Next leoInteg (1.0.14) release will ask for minimum Leo version 6.7.3 :)(coming "soon" this spring, before leojs beta 0.1)