On Mon, Nov 30, 2020 at 11:30:03AM +0000, Debian Bug Tracking System wrote: > From: "G. Branden Robinson" <g.branden.robin...@gmail.com> > > At 2020-11-18T17:13:41+0000, Gavin Smith wrote: > > If I remember correctly (I raised this bug over 6 years ago: > > https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=750202) it is not > > GROFF_NO_SGR. It is GROFF_SGR. > > I think you must be mistaken; there is no match for GROFF_SGR in the > current groff source tree, nor in its entire Git history (with patches > showing).
It's in a Debian patch. As Gavin notes, I documented it in grotty(1) in response to #963490; I must have failed to notice this bug. -- Colin Watson (he/him) [cjwat...@debian.org]
