Nicolas Goaziou <m...@nicolasgoaziou.fr> writes: > Hello, > > Nick Dokos <ndo...@gmail.com> writes: > >> The paragraph is in need of some editing, but I think some of the @ signs are >> wrong: they are used as escapes in the texi file and a couple of them >> are missing. I attach a patch but it could use some review to make sure >> it's correct. > > It looks correct. Could you apply it? >
Applied. Thank you! -- Nick