Navigation repair: route R439 H2/K work through the retained semantic-D evidence (no new kappa) - #2037

Navigation repair: route R439 H2/K work through the retained semantic-D evidence (no new kappa)#2037

Mister-Meeseeks merged 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

commdata2338:r439-semantic-d-navigationcommdata2338/integer-mult-bounds:r439-semantic-d-navigationCopy head branch name to clipboard