openhrp3: 3.1.7-12 in 'indigo/distribution.yaml' [bloom]
Merge pull request #6564 from k-okada/bloom-openhrp3-4

openhrp3: 3.1.7-12 in 'indigo/distribution.yaml' [bloom]