Describe: sync_20141219-8-g823deb7
was 823deb7809248ba7fe4365e306b658512cbee603----------------------------------------------------------------------- 823deb7809248ba7fe4365e306b658512cbee603 Update to python-3.4.2 (and fix build). -----------------------------------------------------------------------
