#
#
# patch "work.cc"
#  from [9a983dae8945a34b7c4fa73e911997f0baba72e3]
#    to [32b26384afd98fd497d011dbc50605272fa88716]
#
============================================================
--- work.cc	9a983dae8945a34b7c4fa73e911997f0baba72e3
+++ work.cc	32b26384afd98fd497d011dbc50605272fa88716
@@ -1444,11 +1444,15 @@ workspace::update_from_filesystem(roster
             }
 
           file_t file = downcast_to_file_t(node);
+          file_id const prev_content = file->content;
           ident_existing_file(fp, file->content, status);
 
-          marking_t & marking = markings.find(nid)->second;
-          marking.file_content.clear();
-          marking.file_content.insert(rid);
+          if (prev_content != file->content)
+            {
+              marking_t & marking = markings.find(nid)->second;
+              marking.file_content.clear();
+              marking.file_content.insert(rid);
+            }
         }
     }