chore(doc): Shorten monitoring/scaling navigation menu items#1819

Merged

astefanutti merged 1 commit intoapache:masterfrom astefanutti:pr-145

Nov 20, 2020

+3-3

Commits on Nov 20, 2020

chore(doc): Shorten monitoring/scaling navigation menu items
astefanutti
committed