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


Ignore:
Timestamp:
02/03/2022 09:28:37 AM (3 years ago)
Author:
pierre

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #4998, comment 3

    initial v1  
    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 hashing is useless. I kept it when I made the change to the build because 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).
     1We 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).