Changes between Version 1 and Version 2 of Ticket #4998, comment 3


Ignore:
Timestamp:
02/03/2022 09:33:12 AM (2 years ago)
Author:
pierre

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #4998, comment 3

    v1 v2  
    1 We at least need to change the description, but I'd rather disable hashing: doing something useless is not good from a pedagogical viewpoint. And disabling hashing is useless. I kept disabling it when I made the change to the build because I was not sure. Now I am sure (but I'd forgotten about it, thanks to Xi Ruoyao for bringing this up).
     1We at least need to change the description, but I'd rather stop disabling hashing: doing something useless is not good from a pedagogical viewpoint. And disabling hashing is useless. I kept disabling it when I made the change to the build because at the time I was not sure it was useless. Now I am sure (but I'd forgotten about it, thanks to Xi Ruoyao for bringing this up).