Updating history.txt with a mention of the new casefolder