Accept member IDs without a signature in --navigateto - #4063

Merged

siegfriedpammer merged 2 commits into

fix/navigateto-short-form

Aug 29, 2026

Commits on Aug 29, 2026

Find the member a hand-written documentation id was aiming at
siegfriedpammer
committed
9971c7e
Decide --navigateto's selection from what the ID resolved to
siegfriedpammer
committed
ead3ee7