#Mariners also getting a comp pick as part of the trade.— Joel Sherman (@Joelsherman1) December 13, 2018
#Mariners also getting a comp pick as part of the trade.