dist - Revision 12251: /dev/commons