Merge branch 'polarssl-1.2' for release of PolarSSL 1.2.3