Red Hat, Green Hat to Blue Hat, Purple Hat
Merge branch 'head_1.3'
1.4