Bug#787963: wdiff: please don't use the same node name two times

2023-09-19 Thread Karl Berry
Thanks for bringing this to our attention. The primary wdiff maintainer (Martin von Gagern) has not been active on the project in some time so I'm not sure how soon the project will get to it. Denver, Martin (Martin, are you there?) - in principle, all GNU packages should be

Bug#787963: wdiff: please don't use the same node name two times

2023-09-18 Thread Denver Gingerich
On Fri, Sep 15, 2023 at 01:58:50PM +0200, Santiago Vila wrote: > Some time ago I received (via clone & reassign), the following report from > the Debian bug system: > > https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=787963 > > To summarize: The command: > > info wdiff > > jumps into the

Bug#787963: wdiff: please don't use the same node name two times

2023-09-15 Thread Santiago Vila
Hello. Some time ago I received (via clone & reassign), the following report from the Debian bug system: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=787963 To summarize: The command: info wdiff jumps into the Invocation instead of top of wdiff. Thanks.