Consider shrinking depth_difference in graph edges #870
Description
It's not clear whether it's needed at all now, or whether it needs to be as big as a u32.
{{ message }}
It's not clear whether it's needed at all now, or whether it needs to be as big as a u32.