Changed paths:
M pyjs/builtin/pyjslib.py
M pyjs/linker.py
M pyjs/translator_proto.py
M pyjswidgets/pyjamas/JSONTranslations.py
M pyjswidgets/pyjamas/ui/Focus.oldmoz.py M setup.py
M setup_pyjstools.py
Log Message:
-----------
Merge pull request #823 from janjaapbos/master