Merge "Release Docker information-coordinator-service"