dist - Revision 31549: /dev/mina