can't open '/boot/menusets.4th'

[Devin Teske]

On Nov 12, 2012, at 3:50 PM, Glen Barber wrote:

> On Mon, Nov 12, 2012 at 06:11:43PM -0500, Darrel wrote:
>> Hello,
>> 
>> Today I booted r242670 from the console and noticed this error message:
>> can't open '/boot/menusets.4th':  no such file of directory
>> 
>> Error while including /boot/menu-commands.4th, in the line
>> include /boot/menusets.4th
>> 
>> Error while including /boot/menu.rc, in the line
>> include /boot/menu-commands.4th
>> 
>> Anyone seen this before?
>> 
> 
> Yes.  This is fixed a few hours after it was introduced.
> 

and a few moments (minutes) after the fix, I sent an e-mail to -current warning everyone.
-- 
Devin

_____________
The information contained in this message is proprietary and/or confidential. If you are not the intended recipient, please: (i) delete the message and all copies; (ii) do not disclose, distribute or use the message in any manner; and (iii) notify the sender immediately. In addition, please be aware that any message addressed to our domain is subject to archiving and review by persons other than the intended recipient. Thank you.