Re: CVS commit: src/usr.bin/make

[Simon J. Gerraty]

Thanks for fixing that.

On Thu, 22 Apr 2010 22:00:26 +0000, David Holland writes:
>On Thu, Apr 22, 2010 at 02:11:31PM -0700, Simon J. Gerraty wrote:
> > Dh already commited the exact same change I just tried to.
>
>sorry, didn't look here first. :-/