GC patch: close /proc/stat file descriptor

[Jeff Sturm]

On Mon, 25 Mar 2002, Bryce McKinlay wrote:
> >2002-03-24  Jeff Sturm  <jsturm@one-point.com>
> >
> >	* linux_threads.c (GC_get_nprocs): Close file descriptor.
> >
> 
> This looks fine.

Thanks.  I committed this to branch and mainline.

Jeff