The following reply was made to PR kern/183765; it has been noted by GNATS.
From: Adam McDougall
To: bug-follo...@freebsd.org, softw...@bertram-scharpf.de
Cc:
Subject: Re: kern/183765: /boot/{menu,loader}.rc do not get updated by "make
installkernel"
Date: Fri, 20 Dec 2013 15:34:23
The following reply was made to PR kern/183765; it has been noted by GNATS.
From: Bertram Scharpf
To: bug-follo...@freebsd.org
Cc:
Subject: Re: kern/183765: /boot/{menu,loader}.rc do not get updated by "make
installkernel"
Date: Sun, 15 Dec 2013 00:34:07 +0100
Reminder: No
The following reply was made to PR kern/183765; it has been noted by GNATS.
From: Bertram Scharpf
To: bug-follo...@freebsd.org
Cc:
Subject: Re: kern/183765: /boot/{menu,loader}.rc do not get updated by 'make
installkernel'
Date: Fri, 22 Nov 2013 16:47:18 +0100
Reminder: No
The following reply was made to PR kern/183765; it has been noted by GNATS.
From: Bertram Scharpf
To: bug-follo...@freebsd.org
Cc:
Subject: Re: kern/183765: /boot/{menu,loader}.rc do not get updated by 'make
installkernel'
Date: Thu, 7 Nov 2013 23:29:10 +0100
Another possibility w
>Number: 183765
>Category: kern
>Synopsis: /boot/{menu,loader}.rc do not get updated by "make
>installkernel"
>Confidential: no
>Severity: non-critical
>Priority: low
>Responsible:freebsd-bugs
>State: open
>Quarter:
>Keywords:
>Date-Re
