MI solib notification

[Tom Tromey]

>>>>> "Pedro" == Pedro Alves <pedro@codesourcery.com> writes:

Pedro> I'd prefer in these cases to see us move in the direction where
Pedro> the observer itself has the needed information to decide if it
Pedro> should skip its whatever-action, or, to add a new
Pedro> notification.

I completely agree.  Also, I'd like us to agree that this is a rule
that we'll apply in the future.  FWIW my impression is that we have
been moving in this direction already.

Tom