kern/183765: /boot/{menu,loader}.rc do not get updated by "make installkernel"

[Bertram Scharpf]

The following reply was made to PR kern/183765; it has been noted by GNATS.

From: Bertram Scharpf <lists at bertram-scharpf.de>
To: bug-followup at 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: Not a single reaction in more than 5 weeks.