Hi Nick On Thu, May 31, 2012 at 11:58 PM, Nick Dokos <nicholas.do...@hp.com> wrote: > Just to make sure, you are saying that commit > 4144c55ec78a4fdf246c64a4130f807eec50a913 should be reverted - the four @ > signs in org.texi produce two @ signs in the produced info file, and > that's the way the info file should be. Do I undertand correctly?
Yes. Michael
