On Sat, 11 Mar 2017, Gerald Pfeifer wrote: > Joseph, Sandra, > > I am thinking about the patch below; what do you think?
I think that as far as possible we should just use "@node node-name" without any of the subsequent arguments pointing to other nodes. -- Joseph S. Myers jos...@codesourcery.com
