Fixing a bug in diff, where some changes were ignored for no reason

Created by  pmeunier  on December 15, 2020
NZIK34IMY3L5YMFISBLHUL5ATENBL35VOZJW4EHPINZEL6IQE4UQC
In channels
main
Change contents