-
Anton Shestakov authored
It's a bit wasteful to reach for an entire context if we just want to get the node from revnum, and also using manual slice instead of node.short().
0592ae24c470
It's a bit wasteful to reach for an entire context if we just want to get the node from revnum, and also using manual slice instead of node.short().