Hello,

The normal_stop notification has been inserted in a slightly different
location than the location I had in mind. As a consequence, the
description for this notification needed to be slightly adjusted. I took
this opportunity to fix a minor nit (same word repeated twice).

2003-03-31  J. Brobecker  <brobecker@gnat.com>

        * observer.texi (GDB Observers): Adjust the documentation for the
        normal_stop notification to better describe reality. Fix a minor
        typo.

Ok to apply?

Thanks,
-- 
Joel