On 2019-06-07 10:36 p.m., nick wrote:
> Greetings,
>
> In both the manual and general other places it seems that the old
> walk_dominator_tree is used instead
> of the current walk name. Trevor has been CCed as this change occurred it
> seems in 2013 but some of
> the callers including the manual are still out of date.
>
> Sending patches for fixing the code comments is fine and I don't mind but the
> manual itself also requires
> changes so making sure that gets changed as well.
>
> Thanks,
> Nick
>
Sorry about the second email. Adding what is the correct email for Trevor
currently.
Nick
