Subject: Re: build problem today
To: None <rmk@rmkhome.com>
From: Johan Danielsson <joda@pdc.kth.se>
List: current-users
Date: 12/30/2000 12:43:18
I think this was fixed before Christmas. You sure you have recent
source?

/Johan