On Sat, Mar 10, 2018 at 09:16:24AM -0500, G. Branden Robinson wrote: > This one's my fault. I introduced it in > a4f9b86065c02f6b2f385c85526a175ab13ae361 on 20 November. Bag my head. > > I have a patch ready (attached), which is basically yours but uses .IR > for font-switching instead of embedded font escapes.
Cool, thanks. Your patch seems reasonable to me. -- Colin Watson [cjwat...@debian.org]