Skip to content

Fix misleading filename docstring (empty path returns Just "", not Nothing)#3

Merged
hellerve merged 1 commit into
masterfrom
claude/fix-filename-empty-doc
Jun 29, 2026
Merged

Fix misleading filename docstring (empty path returns Just "", not Nothing)#3
hellerve merged 1 commit into
masterfrom
claude/fix-filename-empty-doc

Commits

Commits on Jun 29, 2026