James E. Blair ea35fd5152 Add provider/pool priority support ... This lets users configure providers which should fulfill requests before other providers. This facilitates using a less expensive cloud before using a more expensive one. The default priority is 100, to facilitate either raising above or lowering below the default (while using only positive integers in order to avoid confusion). Change-Id: I969ea821e10a7773a0a8d135a4f13407319362ee		2022-05-23 13:28:21 -07:00
..
notes	Add provider/pool priority support	2022-05-23 13:28:21 -07:00