[crux-commits] ports/opt (master): dejagnu: maintainership has been dropped