update index for spring-cloud#1036

Merged

zikalino merged 3 commits intomasterfrom

spring-cloud-update-index

Oct 30, 2019

Commits on Oct 30, 2019

update index
Zim Kalinowski
committed
missing parameter
Zim Kalinowski
committed
update index again
Zim Kalinowski
committed