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

From: Sebastian Urban <[email-masked]>
Date: Fri, 8 May 2020 17:31:36 +0200

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

Quick test shows that "Bah@'a'@'i" gives correct result in plain text
and HTML, but in PDF I get accent above "i" (complete "i", not
dotless) - see picture.

S. U.