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 m
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 fixi
