diff -r 857330e1e3f4 -r 7384da29c2b4 dav/main.c --- a/dav/main.c Sat Mar 28 15:53:44 2020 +0100 +++ b/dav/main.c Sat Mar 28 15:58:30 2020 +0100 @@ -1203,7 +1203,6 @@ // remember time s.t. we can later check if the file has changed SYS_STAT tmp_stat; - // TODO: maybe add sys_fstat if(sys_stat(outfile, &tmp_stat)) { perror("Cannot stat temporary file"); close(tmp_fd);