Release 0.9.12

fixed bug in setPropbyString