app-editors/mined: updated to ver 2014.24.2.