Subject: bug#41100: 2 undefined references and missing character (Emacs manual, PDF)

From: Eli Zaretskii <[email-masked]>
Date: Fri, 08 May 2020 18:16:31 +0300

> Cc: [email-masked]
> From: Sebastian Urban <[email-masked]>
> Date: Fri, 8 May 2020 17:07:38 +0200
> 
> Anyway, I changed your fix to "Bah@'a'@'{@dotless{i}}"

Why do we need @dotless? what happens if we don't use it?  The result
in Info is correct without it.