Upgrades ObjectivePimt to 0.1.2
Merge pull request #11692 from vbergae/master

Upgrades ObjectivePim to 0.1.2