Bush died Friday at the age of 94.
Trump ― who paid out tribute to the former president with the similar estimate he at the time made use of to mock him ― has repeatedly clashed with the household, like in opposition to Jeb Bush in the course of the 2016 GOP presidential primaries.
“Do you regret any of your comments about George H.W. Bush or the Bush household?” a reporter asked.
“Thank you quite a lot everyone,” Trump replied.