Merge pull request #3 from julian-upc/master

actualize 9.12.