Hi,
after the message: Qt 5.3 release I just had to update everything.
So... Qt checkout: 3fb8e1301a733b33ec57497b7ab48e4ee4192ef1
QtCreator checkout: ce55d23e2ad34751630690f6e2a9ba5cbb644c20
But....
qt-creator/src/plugins/qmldesigner/designercore/instances/puppetcreator.h:75:27: error: ‘Puppetype’ has not been declared
Guido