Re: [O] Commit 'cf5e96c8e1be5d0f9df2d98415f3ee16df9408f0' introduces texi syntax error

[Bastien]

Vladimir Lomov <lomov...@gmail.com> writes:

> as topic states, I attached small patch.

Applied, thanks!

-- 
 Bastien