[Nottingham] Linux goes astronomical: 9885 Linux (1994 TM14)

[Martin]

Folks,

An interesting little snippet...

Linux has got a heavenly body named after it:

http://ssd.jpl.nasa.gov/sbdb.cgi?orb=1;sstr=9885

####
9885 Linux
Discovered 1994 Oct. 12 by Spacewatch at Kitt Peak.

The Linux operating system was created by Linus Torvalds in 1991. The
source code for Linux was placed on the Internet. A massive public
collaboration resulted in a robust, feature-rich operating system that
has been used by several minor-planet surveys for data collection and
analysis.
####

(Can't find anything for the other OSes...)

Cheers,
Martin

-- 
----------------
Martin Lomas
martin at ml1.co.uk
----------------