Allow workaround for discovery startup race#258

Open

KnicKnic wants to merge 3 commits intoyyyar:masterfrom KnicKnic:race-backends

+9-5

Commits on Jan 9, 2020

fix 1.13 build
KnicKnic
committed

Commits on Jan 18, 2020

allow workaround for discovery start race
KnicKnic
committed

Commits on Jul 24, 2020

Merge branch 'master' into race-backends
KnicKnic
authored