On 2023/06/22 13:18:43 -0600, Todd C. Miller wrote:
> On Tue, 07 Feb 2023 20:35:10 -0700, Todd C. Miller wrote:
>
> > On Tue, 07 Feb 2023 17:17:02 -0700, Todd C. Miller wrote:
> >
> > > Yes, the bug is that the number is not displayed. The following
> > > diff fixes that but there is still a
On Tue, 07 Feb 2023 20:35:10 -0700, Todd C. Miller wrote:
> On Tue, 07 Feb 2023 17:17:02 -0700, Todd C. Miller wrote:
>
> > Yes, the bug is that the number is not displayed. The following
> > diff fixes that but there is still a bug because the resulting line
> > also lacks a line number. In