Bush died Friday at the age of 94.
Trump ― who paid tribute to the former president with the same quote he once used to mock him ― has repeatedly clashed with the family, including against Jeb Bush during the 2016 GOP presidential primaries.
“Do you regret any of your comments about George H.W. Bush or the Bush family?” a reporter asked.
“Thank you very much everybody,” Trump replied.