Re: port-acorn32/45687 (savecore: (null): _ksyms_hdr not in namelist)

[Mike Pumford <mpumford%black-star.demon.co.uk@localhost>]

The following reply was made to PR port-acorn32/45687; it has been noted by 
GNATS.

From: Mike Pumford <mpumford%black-star.demon.co.uk@localhost>
To: gnats-bugs%NetBSD.org@localhost
Cc: wiz%NetBSD.org@localhost, port-acorn32-maintainer%NetBSD.org@localhost, 
netbsd-bugs%NetBSD.org@localhost,
        gnats-admin%NetBSD.org@localhost
Subject: Re: port-acorn32/45687 (savecore: (null): _ksyms_hdr not in namelist)
Date: Tue, 06 Dec 2011 10:02:56 +0000

 wiz%NetBSD.org@localhost wrote:
 > Synopsis: savecore: (null): _ksyms_hdr not in namelist
 >
 > State-Changed-From-To: open->feedback
 > State-Changed-By: wiz%NetBSD.org@localhost
 > State-Changed-When: Tue, 06 Dec 2011 09:54:36 +0000
 > State-Changed-Why:
 > christos committed a fix. Problem gone?
 >
 >
 Yes working fine now.
 
 Mike