patch ping: diagnostics finalization and plugins

[Diego Novillo]

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

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

OK.


Diego.