Thailand's gross domestic product grew 7.5 year on year during the three months to June. The growth largely reflects a rebound from last year's sharp decline in GDP.