Cherry-pick "Check uid list is empty when filling shortest path vars." (#5141)#5152

Merged

martinmr merged 1 commit intorelease/v1.2from martinmr/cp-uid12

Apr 9, 2020

+6-4

Commits on Apr 9, 2020

Check uid list is empty when filling shortest path vars. (#5141 )
martinmr
committed