Skip to content

core/database: report a garbage header as "file is not a database" - #8500

Open
penberg wants to merge 1 commit into
mainfrom
notadb
Open

core/database: report a garbage header as "file is not a database"#8500
penberg wants to merge 1 commit into
mainfrom
notadb

Commits

Commits on Aug 26, 2026