Commit 554b91b15a7cc9f7b1e6946d04eb54a5dd2f2232

Stefan Sperling 2019-02-04T16:55:18

oops, fix endless loop in diff_fileindex_dir(); code was missing somehow