On Tue, Nov 27, 2012 at 3:17 PM, Richard Sandiford <rdsandif...@googlemail.com> wrote: > David Edelsohn <dje....@gmail.com> writes: >> Below is the implementation as a new target hook. > > Looks good to me. The documentation string needs filling in though, > with a hook placeholder in tm.texi.in.
Yes. Thanks, David
