upvote
Is it the naming-independent identifier of the tip of the trunk?
reply