Re: dejagnu version update?

2017-05-13 Thread Jeff Law
On 05/13/2017 04:38 AM, Jakub Jelinek wrote: On Sat, May 13, 2017 at 12:24:12PM +0200, Bernhard Reutner-Fischer wrote: I guess neither redhat (https://access.redhat.com/downloads/content/dejagnu/ redirects to a login page but there seem to be 1.5.1 packages) nor SuSE did update dejagnu in the m

Re: dejagnu version update?

2017-05-13 Thread Jakub Jelinek
On Sat, May 13, 2017 at 12:24:12PM +0200, Bernhard Reutner-Fischer wrote: > I guess neither redhat > (https://access.redhat.com/downloads/content/dejagnu/ redirects to a > login page but there seem to be 1.5.1 packages) nor SuSE did update dejagnu > in the meantime. Fedora has dejagnu-1.6 in Fedo

Re: dejagnu version update?

2017-05-13 Thread Bernhard Reutner-Fischer
On Tue, Sep 15, 2015 at 10:50:12PM +0200, Bernhard Reutner-Fischer wrote: > On September 15, 2015 10:05:27 PM GMT+02:00, Jeff Law wrote: > >On 09/15/2015 01:21 PM, David Malcolm wrote: > >> On Tue, 2015-09-15 at 10:39 -0700, Mike Stump wrote: > >>> On Sep 14, 2015, at 3:37 PM, Jeff Law wrote: > >