20171027 business.international-business: Gigamon to be acquired by Elliott Management