Commit a769b60bb76783d3bc6637d75907b6ca5d623f40

Stefan Sperling 2021-06-27T09:22:52

fix a bug where files skipped by 'got update' could not be updated again ok semarie@