> From: Vladimir Prus <vladimir@codesourcery.com> > Date: Thu, 1 May 2008 17:51:48 +0400 > > > This patch allows a frontend to request the notification for function > calls to be still emitted, by using > > -enable-feature infcall-run-stop-notifications > > OK? Should we document it?