Re: patch ping: diagnostics finalization and plugins

[Diego Novillo]

On Mon, Nov 11, 2013 at 8:36 AM, Basile Starynkevitch
<bas...@starynkevitch.net> wrote:

> 2013-11-11  Basile Starynkevitch  <bas...@starynkevitch.net>
>
>         * toplev.c (toplev_main): Move PLUGIN_FINISH invocation before
>           diagnostic_finish.

OK.


Diego.