Fixing the bad changes in history (unfortunately, by rebooting).

Created by  pmeunier  on November 16, 2020
SXEYMYF7P4RZMZ46WPL4IZUTSQ2ATBWYZX7QNVMS3SGOYXYOHAGQC
Change contents