openhrp3: 3.1.7-9 in 'indigo/distribution.yaml' [bloom]
Merge pull request #6028 from k-okada/bloom-openhrp3-1

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