Skip to content

resol.m: make sure oo.dr is correctly updated even if function is abo…

Johannes Pfeifer requested to merge JohannesPfeifer:resol_fix into master

…rted prematurely

ramsey_policy relies on oo_.dr.ys being set in any case

Merge request reports