What happened to mined?

[Matthew Dillon]

:>     It was committed a while ago.  Any system build should have it now.
:>     /usr/src/bin/mined.
:> 
:> 					-Matt
:??
:
:More puzzled now than before...  I can see making things 'optional' and 
:requiring initial migration where appropriate as part of a sysadmin's 
:'personalization' of tools, as with bash (license issue), or joe.
:
:But '/usr/src' is an empty directory on a default install from ISO CD. 
:At least, mine is.

    umm.  As the name implies, mined is installed in /bin.  

					-Matt