Update Punic to v1.2.3
Merge pull request #1680 from mlocati/update-punic-1.2.3

Update Punic to v1.2.3