WIP: priority-based index propagation#734

ftynse wants to merge 1 commit intomainiree-org/wave:mainfrom

users/ftynse/priority-index-expriree-org/wave:users/ftynse/priority-index-exprCopy head branch name to clipboard