International

Singapore's manufacturing output up 3.9 pc in May