I thought something wrong on the charts so I patch the historical data from 23 Nov via "Request history" and "History downloading for selected period of time". After re-download, I check a few symbols and the data for 25 Nov is still missing. Refresh charts a few times didn't help. Then I do "Data import" with the 25 Nov file in the Import Folder and this works.
Wonder why would not patch automatically.