for this pick. The Dallas Stars' seventh-round pick went to the Florida Panthers as the result of a June 23, 2012, trade that sent a 2013 seventh-round pick to the Stars in exchange for this pick. See also 2012–13 NHL season References Dallas Stars seasons D D Dallas Stars Dallas Stars 2010s in Dallas 2012 in Texas 2013 in Texas