A spokesman for Gloucestershire Police has said that a seven-year-old boy who was feared missing "was found at around 6.50am this morning".
"We believe that he was found walking back to his tent," he said.
He added that the boy was found by police officers and members of the public.
More top news
London mayor Boris Johnson is backing Olympics supremo Seb Coe as his replacement.
A top Fifa official who assessed rival bids to stage the 2018 and 2022 World Cups revealed England’s was by far the strongest contender.
A hacker group who claimed to be behind a cyber attack on Sony Pictures have posted a message online apparently mocking the FBI.