Dasan Hill injured yesterday?

Read that Hill had the trainers come out to visit him during warmups for the second inning, then left the game after inducing a fly out to the first batter. Haven’t heard any news or seen any articles on it. His velocity was still in the middle 90’s when he left the game. Here’s hoping it’s nothing serious since he has been phenomenal this year and a whole year of development to a young kid like him would be huge.