Re: Fix old bug in div_and_round_double

[Eric Botcazou]

> I suppose you also install on branches?

No plan to do so since this isn't a regression, unless you insist. :-)

-- 
Eric Botcazou