> There are 199 uses of it in the backends; compared to 32 in the front
> end.
> 
> So it is quite heavily used by MD code.

That distinction shouldn't matter unless some of the MD code uses it instead
of reload_completed, which is (unfortunately) a real possibility.

So I fear those will have to be checked.

Reply via email to