[PATCH] GDB/MI documentation

[Vladimir Prus]

Nick Roberts wrote:

> - Notifications is the mechanism for reporting changes in the state of the
> - target,
> 
> + Notifications are used for reporting changes in the state of the
> + target,
> 
> It's generally considered bad English to use "is" after a plural word.

Unfortunately, you have made a semantic change to the sentence. Original
sentence was definition what notification is. The changed sentence, instead,
say what notifications do, and is not a definition.

- Volodya