Skip to content

dont check is_empty (already done in is_file_up_to_date) - #901

Merged
NSoiffer merged 1 commit into
daisy:mainfrom
moritz-gross:remove-redundant-check-for-is_file_up_to_date
Oct 24, 2026
Merged

dont check is_empty (already done in is_file_up_to_date)#901
NSoiffer merged 1 commit into
daisy:mainfrom
moritz-gross:remove-redundant-check-for-is_file_up_to_date

Commits

  1. Commits on Oct 24, 2026