Skip to content

Handle null file in RichWorkspace header#5084

Merged
juliusknorr merged 1 commit intomainfrom
artonge/fix/nul_file
Dec 5, 2023
Merged

Handle null file in RichWorkspace header#5084
juliusknorr merged 1 commit intomainfrom
artonge/fix/nul_file

Commits

Commits on Dec 5, 2023