Skip to content

fix(prelude): Pathname#/ is an alias of #+, not a forwarding def - #766

Merged
tannevaled merged 1 commit into
mainfrom
wave61-pathname-alias
Oct 4, 2026
Merged

tannevaled merged 1 commit into
mainfrom
wave61-pathname-alias

Commits

  1. Commits on Oct 4, 2026